From 1ff0512b833a2d310783e4373483a603b91d2707 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Nov 2016 14:41:26 +1100 Subject: Added word wrap feature --- src/windows-editor.ads | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/windows-editor.ads') 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 -- cgit