diff options
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; |