diff options
author | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 14:41:26 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 14:41:26 +1100 |
commit | 1ff0512b833a2d310783e4373483a603b91d2707 (patch) | |
tree | d319fd9efc48bca6d1510084ebc5f0b70077f9d7 /src/windows-editor.ads | |
parent | 8908535c7dc9fc7adf3c56b96aecc49b319c5a9e (diff) |
Added word wrap feature
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 |