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