diff options
author | Jed Barber <jjbarber@y7mail.com> | 2018-05-04 02:07:02 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2018-05-04 02:07:02 +1000 |
commit | 6e8b2cd87a74ac8d1366775186f35268837523e1 (patch) | |
tree | 418696736aa9ff94446796688fc7f3b905e2e84f /src/fltk.ads | |
parent | 6bb8375e7f8f5a888b0fa800ba09c1e5a950399d (diff) |
Finished and polished FLTK.Menu_Items
Diffstat (limited to 'src/fltk.ads')
-rw-r--r-- | src/fltk.ads | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/fltk.ads b/src/fltk.ads index df4967f..81a3763 100644 --- a/src/fltk.ads +++ b/src/fltk.ads @@ -205,6 +205,18 @@ package FLTK is type Event_Outcome is (Not_Handled, Handled); + type Menu_Flag is private; + function "+" (Left, Right : in Menu_Flag) return Menu_Flag; + Flag_Normal : constant Menu_Flag; + Flag_Inactive : constant Menu_Flag; + Flag_Toggle : constant Menu_Flag; + Flag_Value : constant Menu_Flag; + Flag_Radio : constant Menu_Flag; + Flag_Invisible : constant Menu_Flag; + Flag_Submenu : constant Menu_Flag; + Flag_Divider : constant Menu_Flag; + + private @@ -307,5 +319,17 @@ private Escape_Key : constant Keypress := 16#ff1b#; + type Menu_Flag is new Interfaces.Unsigned_8; + Flag_Normal : constant Menu_Flag := 2#00000000#; + Flag_Inactive : constant Menu_Flag := 2#00000001#; + Flag_Toggle : constant Menu_Flag := 2#00000010#; + Flag_Value : constant Menu_Flag := 2#00000100#; + Flag_Radio : constant Menu_Flag := 2#00001000#; + Flag_Invisible : constant Menu_Flag := 2#00010000#; + -- Flag_Submenu_Pointer unlikely to be used + Flag_Submenu : constant Menu_Flag := 2#01000000#; + Flag_Divider : constant Menu_Flag := 2#10000000#; + + end FLTK; |