diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-07-18 15:58:30 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-07-18 15:58:30 +1000 |
| commit | d513fd809229d6d48bd061e494b08cafbbcc6f9c (patch) | |
| tree | c24e5973aca38f2367769f44852ff39ebe56338e /src/fltk_binding/fltk-widgets.ads | |
| parent | 0b019001293227083dba0c953e0142c4d0c66884 (diff) | |
Decided on widget init problem, started on rudimentary editor appearance
Diffstat (limited to 'src/fltk_binding/fltk-widgets.ads')
| -rw-r--r-- | src/fltk_binding/fltk-widgets.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/fltk_binding/fltk-widgets.ads b/src/fltk_binding/fltk-widgets.ads index 9910dee..8108a5d 100644 --- a/src/fltk_binding/fltk-widgets.ads +++ b/src/fltk_binding/fltk-widgets.ads @@ -43,6 +43,16 @@ package FLTK.Widgets is Box : in Box_Kind); + function Get_Label + (This : in out Widget) + return String; + + + procedure Set_Label + (This : in out Widget; + Text : in String); + + function Get_Label_Font (This : in Widget) return Font_Kind; |