Home
last modified time | relevance | path

Searched refs:Title_Box (Results 1 – 4 of 4) sorted by relevance

/dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/
H A Dgtkada-mdi.adb1665 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 Dgtkada-mdi.ads985 Title_Box : Gtk.Box.Gtk_Box; component
/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/
H A Dgtkada-mdi.ads1071 Title_Box : Gtk.Box.Gtk_Box; component
H A Dgtkada-mdi.adb1926 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;