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-editor.adb | |
| parent | bf5b67dee0d61996c3937dd8b255d5fcf2198973 (diff) | |
Removed some superfluous with clauses
Diffstat (limited to 'src/windows-editor.adb')
| -rw-r--r-- | src/windows-editor.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/windows-editor.adb b/src/windows-editor.adb index 7f303fe..e961d4a 100644 --- a/src/windows-editor.adb +++ b/src/windows-editor.adb @@ -3,7 +3,6 @@ with FLTK.Enums; use FLTK.Enums; with FLTK.Widgets.Groups.Windows.Double; with FLTK.Widgets.Groups.Text_Displays.Text_Editors; -with FLTK.Widgets.Menus; with FLTK.Widgets.Menus.Menu_Bars; with FLTK.Text_Buffers; |