diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:03:19 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:03:19 +1000 |
commit | ede7482f170d498d0a2129da6e81ff4764e366e2 (patch) | |
tree | 793de3ccbc1e2045e52ce6bb7402e08dfe1ec14f /src/windows-jump.ads | |
parent | bfa8e44514a6d0e597123aa701dbe29a461c1ed6 (diff) |
Logo file now better integrated
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; |