From 524edbb4463b66d61e92c92a7020d9d09b82e744 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 26 May 2016 00:38:43 +1000 Subject: The Great Package Naming Style Change(tm) --- src/editor.ads | 41 ----------------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 src/editor.ads (limited to 'src/editor.ads') 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; - -- cgit