diff options
Diffstat (limited to 'src/windows-jump.ads')
| -rw-r--r-- | src/windows-jump.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/windows-jump.ads b/src/windows-jump.ads index f47db24..d458a8d 100644 --- a/src/windows-jump.ads +++ b/src/windows-jump.ads @@ -8,7 +8,7 @@ private with FLTK.Widgets.Inputs.Integer; package Windows.Jump is - type Jump_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with private; + type Jump_Window is new Window with private; type Jump_Callback is access procedure @@ -38,7 +38,7 @@ package Windows.Jump is private - type Jump_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with + type Jump_Window is new Window with record To_Line : FLTK.Widgets.Inputs.Integer.Integer_Input; Cancel : FLTK.Widgets.Buttons.Button; |