diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:41:36 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-28 00:41:36 +1000 |
| commit | 3592854ef4ebeab8c099defb5745623eb849111b (patch) | |
| tree | 37f65c8ee2564f052594534c33b6583acb7369d3 | |
| parent | 79e6d87c5ed050802d9d5159f2c71f7425597dd2 (diff) | |
Fixed typo
| -rw-r--r-- | src/windows-editor.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/windows-editor.ads b/src/windows-editor.ads index 58c13c2..4b9afce 100644 --- a/src/windows-editor.ads +++ b/src/windows-editor.ads @@ -5,7 +5,7 @@ with FLTK.Widgets.Groups.Windows.Double, FLTK.Widgets.Menus, FLTK.Text_Buffers, - FLTK.Widgets.Groups.Text_Displays, + FLTK.Widgets.Groups.Text_Displays; private with |