with FLTK.Widget.Group.Window.Double;
with FLTK.Widget.Input;


package Editor is


    package Window renames FLTK.Widget.Group.Window;

    type Editor_Type is new Window.Double.Double_Type with private;


private


    type Editor_Type is new Window.Double.Double_Type with
        record
            Replace_Dialog : access Window.Window_Type;
            Replace_Find : access FLTK.Widget.Input.Input_Type;
            Replace_With : access FLTK.Widget.Input.Input_Type;
        end record;


end Editor;