diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-08-03 20:08:23 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-03 20:08:23 +1000 |
| commit | e70e81e7f08105474a01858b38a7e27d028a1972 (patch) | |
| tree | d8ac8f24b82e426c123f3a9d8e758237ab14a5a9 /src/fltk.ads | |
| parent | 229b6b74e7c9cc09ce5c49023afb0eb745ac9db1 (diff) | |
Added the first of event handling functions, to figure out what key was pressed
Diffstat (limited to 'src/fltk.ads')
| -rw-r--r-- | src/fltk.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/fltk.ads b/src/fltk.ads index d07435e..8a6a933 100644 --- a/src/fltk.ads +++ b/src/fltk.ads @@ -144,6 +144,10 @@ package FLTK is Free_Font); + type Font_Size is new Natural; + Normal_Size : constant Font_Size := 14; + + type Label_Kind is (Normal_Label, No_Label, @@ -185,6 +189,9 @@ package FLTK is Fullscreen); + type Event_Outcome is (Not_Handled, Handled); + + private |