diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-04-15 17:23:52 +1200 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-04-15 17:23:52 +1200 |
| commit | ce287c99ae15137138e2c5674f8f84a9c8bc1609 (patch) | |
| tree | 0567cbd3dddc78f64a95d60eae1ce54d46da70a1 /src/windows-jump.ads | |
| parent | 63c26c318a60efd20485978624352befd5f6c5ee (diff) | |
Constants marked constant, code style improvements, redundant with clauses removed
Diffstat (limited to 'src/windows-jump.ads')
| -rw-r--r-- | src/windows-jump.ads | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/windows-jump.ads b/src/windows-jump.ads index ae1920c..a1b5cb3 100644 --- a/src/windows-jump.ads +++ b/src/windows-jump.ads @@ -11,15 +11,18 @@ package Windows.Jump is type Jump_Window is new Window with private; - type Jump_Callback is access procedure (Line_Number : in Positive); + + function Create return Jump_Window; + + procedure Set_Jump_Callback (This : in out Jump_Window; Func : in Jump_Callback); @@ -28,14 +31,14 @@ package Windows.Jump is private - type Jump_Window is new Window with - record - 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; - end record; + type Jump_Window is new Window with record + 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; + end record; end Windows.Jump; + |