Searched refs:Title_Box (Results 1 – 4 of 4) sorted by relevance
/dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/ |
H A D | gtkada-mdi.adb | 1665 Hide (Child.Title_Box); 1667 Set_USize (Child.Title_Box, -1, 0); 1668 Set_Size_Request (Child.Title_Box, -1, 0); 1671 Show (Child.Title_Box); 1672 Set_Child_Visible (Child.Title_Box, True); 1673 Set_USize (Child.Title_Box, -1, -1); 1707 if Realized_Is_Set (Child.Title_Box) then 2504 (Child.Title_Box, Signal_Expose_Event, 2511 (Child.Title_Box, 3253 (Old.Title_Box, 0, 0, [all …]
|
H A D | gtkada-mdi.ads | 985 Title_Box : Gtk.Box.Gtk_Box; component
|
/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/ |
H A D | gtkada-mdi.ads | 1071 Title_Box : Gtk.Box.Gtk_Box; component
|
H A D | gtkada-mdi.adb | 1926 Gtk_Event_Box (Get_Parent (Child.Title_Box)); 2690 Gtk_New_Hbox (Child.Title_Box, Homogeneous => False); 2691 Add (Event, Child.Title_Box); 2698 Child.Title_Box.Pack_Start (Event, Expand => False); 2703 Child.Title_Box.Pack_Start 2719 (Child.Title_Box, 3571 Old.Title_Box.Queue_Draw; 3575 C.Title_Box.Queue_Draw;
|