diff options
| author | Martin Wimpress <[email protected]> | 2015-06-09 22:48:55 +0100 |
|---|---|---|
| committer | Martin Wimpress <[email protected]> | 2015-06-09 22:48:55 +0100 |
| commit | e509da308783217f382ecfc8c6c9bdc6cb4e0b3d (patch) | |
| tree | 153dcf24a94133736dc15bb4003db19ee86450d3 /src/profile-preferences.ui | |
| parent | 23197be3fa1800d5a7b882346c68c72ee5df5e47 (diff) | |
| parent | 2ff99ed18772938b93ab752a97c23929f6b16181 (diff) | |
| download | mate-terminal-e509da308783217f382ecfc8c6c9bdc6cb4e0b3d.tar.bz2 mate-terminal-e509da308783217f382ecfc8c6c9bdc6cb4e0b3d.tar.xz | |
Merge pull request #87 from NiceandGently/master
ui: fix size of profile-preferences window in GTK3 version with a default
Diffstat (limited to 'src/profile-preferences.ui')
| -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> |