diff options
author | Jed Barber <jjbarber@y7mail.com> | 2016-05-26 00:38:43 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2016-05-26 00:38:43 +1000 |
commit | 524edbb4463b66d61e92c92a7020d9d09b82e744 (patch) | |
tree | b2ec49fdcc88a34c4c2f80ead9548358a382da77 /src/editors.ads | |
parent | ed6fcd873aad9e574de0b2c6311d1c4404cb76dc (diff) |
The Great Package Naming Style Change(tm)
Diffstat (limited to 'src/editors.ads')
-rw-r--r-- | src/editors.ads | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/editors.ads b/src/editors.ads new file mode 100644 index 0000000..27d54d7 --- /dev/null +++ b/src/editors.ads @@ -0,0 +1,41 @@ + + +with FLTK.Widgets.Groups.Windows.Double; +with FLTK.Widgets.Inputs; +with FLTK.Widgets.Buttons.Enter; + + +package Editors is + + + package Windows renames FLTK.Widgets.Groups.Windows; + + type Editor is new Windows.Double.Double_Window with private; + + + function Create + (X, Y, W, H : in Integer; + Label : in String) + return Editor; + + +private + + + type Editor is new Windows.Double.Double_Window with + record + Replace_Dialog : Windows.Window; + Replace_Find : FLTK.Widgets.Inputs.Input; + Replace_With : FLTK.Widgets.Inputs.Input; + Replace_All : FLTK.Widgets.Buttons.Button; + Replace_Next : FLTK.Widgets.Buttons.Enter.Enter_Button; + Replace_Cancel : FLTK.Widgets.Buttons.Button; + end record; + + + overriding procedure Initialize (This : in out Editor); + overriding procedure Finalize (This : in out Editor); + + +end Editors; + |