From 1e676b49bee920605529fd5e8f18c14fdfc900e2 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sun, 12 Jan 2025 01:45:26 +1300
Subject: Updated to current FLTK binding

---
 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 6c483d5..ae1920c 100644
--- a/src/windows-jump.ads
+++ b/src/windows-jump.ads
@@ -3,7 +3,7 @@
 private with
 
     FLTK.Widgets.Buttons.Enter,
-    FLTK.Widgets.Inputs.Integer;
+    FLTK.Widgets.Inputs.Text.Whole_Number;
 
 
 package Windows.Jump is
@@ -30,7 +30,7 @@ private
 
     type Jump_Window is new Window with
         record
-            To_Line  : FLTK.Widgets.Inputs.Integer.Integer_Input;
+            To_Line  : FLTK.Widgets.Inputs.Text.Whole_Number.Integer_Input;
             Cancel   : FLTK.Widgets.Buttons.Button;
             Go_Jump  : FLTK.Widgets.Buttons.Enter.Enter_Button;
             Callback : Jump_Callback;
-- 
cgit