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 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;