diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:03:19 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:03:19 +1000 |
commit | ede7482f170d498d0a2129da6e81ff4764e366e2 (patch) | |
tree | 793de3ccbc1e2045e52ce6bb7402e08dfe1ec14f /src/windows-editor.ads | |
parent | bfa8e44514a6d0e597123aa701dbe29a461c1ed6 (diff) |
Logo file now better integrated
Diffstat (limited to 'src/windows-editor.ads')
-rw-r--r-- | src/windows-editor.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/windows-editor.ads b/src/windows-editor.ads index e3d36e0..079638c 100644 --- a/src/windows-editor.ads +++ b/src/windows-editor.ads @@ -12,7 +12,7 @@ private with FLTK.Widgets.Menus.Menu_Buttons; package Windows.Editor is - type Editor_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with private; + type Editor_Window is new Window with private; type Wrap_Mode is new FLTK.Widgets.Groups.Text_Displays.Wrap_Mode; @@ -109,7 +109,7 @@ package Windows.Editor is private - type Editor_Window is new FLTK.Widgets.Groups.Windows.Double.Double_Window with + type Editor_Window is new Window with record Bar : aliased FLTK.Widgets.Menus.Menu_Bars.Menu_Bar; Popup : aliased FLTK.Widgets.Menus.Menu_Buttons.Menu_Button; |