with FLTK.Widgets.Groups.Windows.Double; with FLTK.Widgets.Inputs; with FLTK.Widgets.Buttons.Enter; package Editors is package Windows renames FLTK.Widgets.Groups.Windows; type Editor is new Windows.Double.Double_Window with private; function Create (X, Y, W, H : in Integer; Label : in String) return Editor; private type Editor is new Windows.Double.Double_Window with record Replace_Dialog : Windows.Window; Replace_Find : FLTK.Widgets.Inputs.Input; Replace_With : FLTK.Widgets.Inputs.Input; Replace_All : FLTK.Widgets.Buttons.Button; Replace_Next : FLTK.Widgets.Buttons.Enter.Enter_Button; Replace_Cancel : FLTK.Widgets.Buttons.Button; end record; overriding procedure Initialize (This : in out Editor); overriding procedure Finalize (This : in out Editor); end Editors;