From 04b6ca92fb038e2983b1bf26fb1dd41f124faa00 Mon Sep 17 00:00:00 2001 From: infirit Date: Fri, 24 Jan 2014 16:57:41 +0100 Subject: Use gtkbuilder directly --- src/profile-manager.ui | 197 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 197 insertions(+) create mode 100644 src/profile-manager.ui (limited to 'src/profile-manager.ui') diff --git a/src/profile-manager.ui b/src/profile-manager.ui new file mode 100644 index 0000000..7a098e0 --- /dev/null +++ b/src/profile-manager.ui @@ -0,0 +1,197 @@ + + + + + 5 + True + Profiles + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + False + 400 + 300 + True + False + mate-terminal-profile-manager + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + False + False + + + True + False + 2 + + + True + GTK_BUTTONBOX_END + + + True + True + True + gtk-help + True + GTK_RELIEF_NORMAL + True + + + + + True + True + True + gtk-close + True + GTK_RELIEF_NORMAL + True + + + + + 0 + False + True + GTK_PACK_END + + + + + 5 + True + False + 6 + + + True + False + 6 + + + True + True + GTK_POLICY_NEVER + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + + + 0 + True + True + + + + + True + GTK_BUTTONBOX_START + 6 + + + True + True + True + gtk-new + True + GTK_RELIEF_NORMAL + True + + + + + True + True + True + gtk-edit + True + GTK_RELIEF_NORMAL + True + + + + + True + True + True + gtk-delete + True + GTK_RELIEF_NORMAL + True + + + + + 0 + False + True + + + + + 0 + True + True + + + + + True + False + 12 + + + True + _Profile used when launching a new terminal: + True + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + 0 + False + True + + + + + 0 + True + True + + + + + + helpbutton2 + closebutton2 + + + -- cgit v1.2.1