From 2ff99ed18772938b93ab752a97c23929f6b16181 Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Tue, 7 Apr 2015 16:08:56 +0200
Subject: ui: fix size of profile-preferences window in GTK3 version with a
 default

---
 src/profile-preferences.ui | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/profile-preferences.ui')

diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index d9a8777..a14d26b 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -199,7 +199,9 @@
     <property name="type">GTK_WINDOW_TOPLEVEL</property>
     <property name="window_position">GTK_WIN_POS_NONE</property>
     <property name="modal">False</property>
-    <property name="resizable">False</property>
+    <property name="default_width">600</property>
+    <property name="default_height">400</property>
+    <property name="resizable">True</property>
     <property name="destroy_with_parent">True</property>
     <property name="role">mate-terminal-profile-editor</property>
     <property name="decorated">True</property>
-- 
cgit v1.2.1