From ede7482f170d498d0a2129da6e81ff4764e366e2 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 28 Jul 2017 00:03:19 +1000 Subject: Logo file now better integrated --- src/windows-jump.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/windows-jump.ads') 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; -- cgit