src/editors.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41


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;