diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2018-05-09 23:28:04 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2018-05-09 23:28:04 +1000 |
| commit | cdcf5839899276b041b56b70798055f0d438bbdb (patch) | |
| tree | 8f6637b3dfdbd92ab7d8b520b85aa7132290983d /src/fltk-widgets.adb | |
| parent | f18aa62c78dd25851d47b611f564a14fabb5a5e2 (diff) | |
Text_Editor key bindings hopefully fixed, yet more polishing
Diffstat (limited to 'src/fltk-widgets.adb')
0 files changed, 0 insertions, 0 deletions