From 2a2e9ebee28dcb8016e64af46b400fe2b7814eb3 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Fri, 8 Jul 2016 21:05:26 +0200 Subject: [PATCH] profile-manager.ui: avoid deprecated elements --- src/profile-manager.ui | 167 ++++++++++++++++++++++------------------- 1 file changed, 90 insertions(+), 77 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 - True - True - True gtk-help + True + True + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 0 + True + - True - True - True gtk-close + True + True + 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 - True - True - True gtk-new + True + True + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 0 + - True - True - True gtk-edit + True + True + True + False True - GTK_RELIEF_NORMAL - True + + True + True + 1 + - True - True - True gtk-delete + True + True + 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