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-find.ads | |
| parent | 63c26c318a60efd20485978624352befd5f6c5ee (diff) | |
Constants marked constant, code style improvements, redundant with clauses removed
Diffstat (limited to 'src/windows-find.ads')
| -rw-r--r-- | src/windows-find.ads | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/windows-find.ads b/src/windows-find.ads index 9f78048..1f59a05 100644 --- a/src/windows-find.ads +++ b/src/windows-find.ads @@ -12,25 +12,26 @@ package Windows.Find is type Find_Window is new Window with private; - type Direction is (Forward, Backward); - type Find_Callback is access procedure (Item : in String; Match_Case : in Boolean; Facing : in Direction); + + function Create return Find_Window; + + procedure Set_Find_Callback (This : in out Find_Window; Func : in Find_Callback); - procedure Do_Callback (This : in Find_Window; Dir : in Direction := Forward); @@ -39,15 +40,15 @@ package Windows.Find is private - type Find_Window is new Window with - record - Find_What : FLTK.Widgets.Inputs.Text.Text_Input; - Match_Case : FLTK.Widgets.Buttons.Light.Check.Check_Button; - Cancel : FLTK.Widgets.Buttons.Button; - Start : FLTK.Widgets.Buttons.Enter.Enter_Button; - Callback : Find_Callback; - end record; + type Find_Window is new Window with record + Find_What : FLTK.Widgets.Inputs.Text.Text_Input; + Match_Case : FLTK.Widgets.Buttons.Light.Check.Check_Button; + Cancel : FLTK.Widgets.Buttons.Button; + Start : FLTK.Widgets.Buttons.Enter.Enter_Button; + Callback : Find_Callback; + end record; end Windows.Find; + |