Searched defs:MDI_Window_Record (Results 1 – 2 of 2) sorted by relevance
67 type MDI_Window_Record is new Gtk.Widget.Gtk_Widget_Record with private; type1022 type MDI_Window_Record is new Gtkada.Multi_Paned.Gtkada_Multi_Paned_Record type
64 type MDI_Window_Record is new Gtk.Widget.Gtk_Widget_Record with private; type1113 type MDI_Window_Record is new Gtkada.Multi_Paned.Gtkada_Multi_Paned_Record type