diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-07-31 00:16:24 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-31 00:16:24 +1000 |
commit | f7bfc040a062b3f5a3549abd87463221c667f1d5 (patch) | |
tree | 8c5564a52f242bef674176a03b66e1812c8975a6 /src/windows-editor.adb | |
parent | 3592854ef4ebeab8c099defb5745623eb849111b (diff) |
Made logo code more concise
Diffstat (limited to 'src/windows-editor.adb')
-rw-r--r-- | src/windows-editor.adb | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/src/windows-editor.adb b/src/windows-editor.adb index 9696174..cfcf191 100644 --- a/src/windows-editor.adb +++ b/src/windows-editor.adb @@ -1,14 +1,5 @@ -with - - FLTK.Widgets.Groups.Windows.Double, - FLTK.Widgets.Groups.Text_Displays.Text_Editors, - FLTK.Widgets.Menus.Menu_Bars, - FLTK.Widgets.Menus.Menu_Buttons, - FLTK.Text_Buffers; - - package body Windows.Editor is @@ -63,6 +54,8 @@ package body Windows.Editor is This.Set_Resizable (This.Editor); This.Set_Size_Range (Min_Editor_Width, Min_Editor_Height); + This.Set_Icon (Logo); + This.Editor.Remove_Key_Binding (Mod_Ctrl + 'z'); end return; end Create; |