From 2a2e9ebee28dcb8016e64af46b400fe2b7814eb3 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Fri, 8 Jul 2016 21:05:26 +0200 Subject: profile-manager.ui: avoid deprecated elements --- src/profile-manager.ui | 157 ++++++++++++++++++++++++++----------------------- 1 file changed, 85 insertions(+), 72 deletions(-) diff --git a/src/profile-manager.ui b/src/profile-manager.ui index 91153eb..ca7ac98 100644 --- a/src/profile-manager.ui +++ b/src/profile-manager.ui @@ -1,172 +1,185 @@ - + + + + + + + + - 5 True + False + 5 Profiles - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False + mate-terminal-profile-manager 400 300 - True - False - mate-terminal-profile-manager - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True - False + dialog - + True - False + False + vertical 2 - + True - GTK_BUTTONBOX_END + False + True + end + gtk-help True - True True - gtk-help + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 0 + True + + gtk-close True - True True - gtk-close + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 1 + - 0 False True - GTK_PACK_END + end + 0 - - 5 + True - False + False + 5 + vertical 6 - + True - False + False 6 True True - GTK_POLICY_NEVER - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + never + in - 0 True True + 0 - + True - GTK_BUTTONBOX_START + False + vertical 6 + start + gtk-new True - True True - gtk-new + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 0 + + gtk-edit True - True True - gtk-edit + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 1 + + gtk-delete True - True True - gtk-delete + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 2 + - 0 False True + 1 - 0 True True + 0 - + True - False + False 12 True + False + start + center _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 @@ -174,16 +187,16 @@ - 0 False True + 1 - 0 True True + 1 -- cgit v1.2.1