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/editor.ads | |
| parent | ed6fcd873aad9e574de0b2c6311d1c4404cb76dc (diff) | |
The Great Package Naming Style Change(tm)
Diffstat (limited to 'src/editor.ads')
| -rw-r--r-- | src/editor.ads | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/src/editor.ads b/src/editor.ads deleted file mode 100644 index e80111a..0000000 --- a/src/editor.ads +++ /dev/null @@ -1,41 +0,0 @@ - - -with FLTK.Widget.Group.Window.Double; -with FLTK.Widget.Input; -with FLTK.Widget.Button.Ret; - - -package Editor is - - - package Window renames FLTK.Widget.Group.Window; - - type Editor_Type is new Window.Double.Double_Type with private; - - - function Create - (X, Y, W, H : in Integer; - Label : in String) - return Editor_Type; - - -private - - - type Editor_Type is new Window.Double.Double_Type with - record - Replace_Dialog : Window.Window_Type; - Replace_Find : FLTK.Widget.Input.Input_Type; - Replace_With : FLTK.Widget.Input.Input_Type; - Replace_All : FLTK.Widget.Button.Button_Type; - Replace_Next : FLTK.Widget.Button.Ret.Return_Type; - Replace_Cancel : FLTK.Widget.Button.Button_Type; - end record; - - - overriding procedure Initialize (This : in out Editor_Type); - overriding procedure Finalize (This : in out Editor_Type); - - -end Editor; - |