diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-09-19 18:53:14 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-09-19 18:53:14 +1000 |
| commit | 7a14ee099c2fd382c2951627bf43e3fc507181f4 (patch) | |
| tree | 9b749987f9ac87bcda46671b87bd6a9308a726f8 /src/editors.ads | |
| parent | b709843ae66a4348746d6a54114c99dd00ebdb74 (diff) | |
Editors.adb/ads now known as Editor_Windows.adb/ads in preparation for more window types
Diffstat (limited to 'src/editors.ads')
| -rw-r--r-- | src/editors.ads | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/src/editors.ads b/src/editors.ads deleted file mode 100644 index 2d4f599..0000000 --- a/src/editors.ads +++ /dev/null @@ -1,67 +0,0 @@ - - -with FLTK.Widgets.Groups.Windows.Double; -use FLTK.Widgets.Groups.Windows.Double; -with FLTK.Widgets.Menus; -use FLTK.Widgets.Menus; -with FLTK.Text_Buffers; -use FLTK.Text_Buffers; -private with FLTK.Widgets.Groups.Text_Displays.Text_Editors; -private with FLTK.Widgets.Menus.Menu_Bars; - - -package Editors is - - - type Editor_Window is new Double_Window with private; - - - function Create - (X, Y, W, H : in Integer; - Label_Text : in String) - return Editor_Window; - - - function Create - (W, H : in Integer) - return Editor_Window; - - - function Get_Buffer - (This : in Editor_Window) - return Text_Buffer_Cursor; - - - procedure Set_Buffer - (This : in out Editor_Window; - Buff : in out Text_Buffer); - - - function Get_Menu - (This : in out Editor_Window) - return Menu_Cursor; - - - procedure Undo (This : in out Editor_Window); - procedure Cut (This : in out Editor_Window); - procedure Copy (This : in out Editor_Window); - procedure Paste (This : in out Editor_Window); - procedure Delete (This : in out Editor_Window); - - -private - - - use FLTK.Widgets.Groups.Text_Displays.Text_Editors; - use FLTK.Widgets.Menus.Menu_Bars; - - - type Editor_Window is new Double_Window with - record - Bar : aliased Menu_Bar; - Editor : Text_Editor; - end record; - - -end Editors; - |