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-replace.ads | |
parent | 63c26c318a60efd20485978624352befd5f6c5ee (diff) |
Constants marked constant, code style improvements, redundant with clauses removed
Diffstat (limited to 'src/windows-replace.ads')
-rw-r--r-- | src/windows-replace.ads | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/src/windows-replace.ads b/src/windows-replace.ads index 5e020e6..8d2bc98 100644 --- a/src/windows-replace.ads +++ b/src/windows-replace.ads @@ -12,16 +12,19 @@ package Windows.Replace is type Replace_Window is new Window with private; - type Replace_Callback is access procedure (Item, Replace_With : in String; Match_Case, Rep_All : in Boolean); + + function Create return Replace_Window; + + procedure Set_Replace_Callback (This : in out Replace_Window; Func : in Replace_Callback); @@ -30,15 +33,15 @@ package Windows.Replace is private - type Replace_Window is new Window with - record - Find_What, Replace_With : FLTK.Widgets.Inputs.Text.Text_Input; - Match_Case, Replace_All : FLTK.Widgets.Buttons.Light.Check.Check_Button; - Cancel : FLTK.Widgets.Buttons.Button; - Start : FLTK.Widgets.Buttons.Enter.Enter_Button; - Callback : Replace_Callback; - end record; + type Replace_Window is new Window with record + Find_What, Replace_With : FLTK.Widgets.Inputs.Text.Text_Input; + Match_Case, Replace_All : FLTK.Widgets.Buttons.Light.Check.Check_Button; + Cancel : FLTK.Widgets.Buttons.Button; + Start : FLTK.Widgets.Buttons.Enter.Enter_Button; + Callback : Replace_Callback; + end record; end Windows.Replace; + |