blob: fe98691f7d174a8c1b8a075cd7fd903fa96dd1c3 (
plain)
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
|
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;
|