1 files changed, 51 insertions, 0 deletions
diff --git a/src/windows-jump.ads b/src/windows-jump.ads
new file mode 100644
index 0000000..baf355c
--- /dev/null
+++ b/src/windows-jump.ads
@@ -0,0 +1,51 @@
+
+
+with FLTK.Widgets.Groups.Windows.Double;
+private with FLTK.Widgets.Buttons.Enter;
+private with FLTK.Widgets.Inputs.Int;
+
+
+package Windows.Jump is
+
+
+    type Jump_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with private;
+
+
+    type Jump_Callback is access procedure
+        (Line_Number : in Positive);
+
+
+    function Create
+        return Jump_Window;
+
+
+    function Create
+           (X, Y, W, H : in Integer;
+            Label_Text : in String)
+        return Jump_Window;
+
+
+    function Create
+           (W, H : in Integer)
+        return Jump_Window;
+
+
+    procedure Set_Jump_Callback
+           (This : in out Jump_Window;
+            Func : in     Jump_Callback);
+
+
+private
+
+
+    type Jump_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with
+        record
+            To_Line  : FLTK.Widgets.Inputs.Int.Integer_Input;
+            Cancel   : FLTK.Widgets.Buttons.Button;
+            Go_Jump  : FLTK.Widgets.Buttons.Enter.Enter_Button;
+            Callback : Jump_Callback;
+        end record;
+
+
+end Windows.Jump;
+