diff options
author | Jed Barber <jjbarber@y7mail.com> | 2016-05-24 02:25:30 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2016-05-24 02:25:30 +1000 |
commit | 63d9e14dd0cccb2191bd18ec07cfb11d06a30fcd (patch) | |
tree | ffbb851a35ecb0cdf6d5e7b261270e85d472bf2a /src/editor.ads |
It's a start
Diffstat (limited to 'src/editor.ads')
-rw-r--r-- | src/editor.ads | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/editor.ads b/src/editor.ads new file mode 100644 index 0000000..fe98691 --- /dev/null +++ b/src/editor.ads @@ -0,0 +1,27 @@ + + +with FLTK.Widget.Group.Window.Double; +with FLTK.Widget.Input; + + +package Editor is + + + package Window renames FLTK.Widget.Group.Window; + + type Editor_Type is new Window.Double.Double_Type with private; + + +private + + + type Editor_Type is new Window.Double.Double_Type with + record + Replace_Dialog : access Window.Window_Type; + Replace_Find : access FLTK.Widget.Input.Input_Type; + Replace_With : access FLTK.Widget.Input.Input_Type; + end record; + + +end Editor; + |