diff options
| -rw-r--r-- | src/profile-preferences.ui | 4 |
1 files changed, 3 insertions, 1 deletions
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> |