diff options
Diffstat (limited to 'src/windows-editor.ads')
| -rw-r--r-- | src/windows-editor.ads | 10 | 
1 files changed, 10 insertions, 0 deletions
| diff --git a/src/windows-editor.ads b/src/windows-editor.ads index 46e0fe6..d2874ed 100644 --- a/src/windows-editor.ads +++ b/src/windows-editor.ads @@ -3,6 +3,7 @@  with FLTK.Widgets.Groups.Windows.Double;  with FLTK.Widgets.Menus;  with FLTK.Text_Buffers; +with FLTK.Widgets.Groups.Text_Displays;  private with FLTK.Widgets.Groups.Text_Displays.Text_Editors;  private with FLTK.Widgets.Menus.Menu_Bars; @@ -13,6 +14,9 @@ package Windows.Editor is      type Editor_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with private; +    type Wrap_Mode is new FLTK.Widgets.Groups.Text_Displays.Wrap_Mode; + +      Min_Editor_Height : Integer := 60;      Min_Editor_Width  : Integer := 300; @@ -85,6 +89,12 @@ package Windows.Editor is             (This : in out Editor_Window); +    procedure Set_Wrap_Mode +           (This   : in out Editor_Window; +            Mode   : in     Wrap_Mode; +            Margin : in     Natural := 0); + +  private | 
