diff options
| author | raveit65 <[email protected]> | 2015-04-07 16:08:56 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2015-04-07 16:08:56 +0200 |
| commit | 2ff99ed18772938b93ab752a97c23929f6b16181 (patch) | |
| tree | 220881d88622e440959344430261c7a51af3198f | |
| parent | e771a4d6545937fb5ff1629dc2cca2282ec8a599 (diff) | |
| download | mate-terminal-2ff99ed18772938b93ab752a97c23929f6b16181.tar.bz2 mate-terminal-2ff99ed18772938b93ab752a97c23929f6b16181.tar.xz | |
ui: fix size of profile-preferences window in GTK3 version with a default
| -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> |