diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-11-11 14:45:30 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-11 14:45:30 +1100 |
| commit | 7aa86670f5d76284ae193ed1e1ed936b20a5c5fb (patch) | |
| tree | 55e212b64ae466ebabf2e7c9daf403194adb6091 /src/windows-about.adb | |
| parent | bf5b67dee0d61996c3937dd8b255d5fcf2198973 (diff) | |
Removed some superfluous with clauses
Diffstat (limited to 'src/windows-about.adb')
| -rw-r--r-- | src/windows-about.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/windows-about.adb b/src/windows-about.adb index a0845b8..27b8373 100644 --- a/src/windows-about.adb +++ b/src/windows-about.adb @@ -1,6 +1,5 @@ -with FLTK.Widgets; with FLTK.Widgets.Groups.Windows.Double; with FLTK.Widgets.Boxes; with FLTK.Widgets.Buttons.Enter; @@ -9,7 +8,6 @@ with FLTK.Widgets.Buttons.Enter; package body Windows.About is - package W renames FLTK.Widgets; package WD renames FLTK.Widgets.Groups.Windows.Double; package BX renames FLTK.Widgets.Boxes; package EN renames FLTK.Widgets.Buttons.Enter; @@ -61,7 +59,7 @@ package body Windows.About is This.Add (This.Picture); This.Picture.Set_Image (Logo); This.Add (This.Heading); - This.Heading.Set_Label_Size (W.Font_Size (Heading_Size)); + This.Heading.Set_Label_Size (FLTK.Widgets.Font_Size (Heading_Size)); This.Add (This.Blurb); This.Add (This.Author); This.Add (This.Dismiss); |