gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

ui: fix size of profile-preferences window in GTK3 version with a default

master-1.22
raveit65 2015-04-07 16:08:56 +02:00
parent e771a4d654
commit 2ff99ed187
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/profile-preferences.ui
View File

@ -199,7 +199,9 @@
<property name="type">GTK_WINDOW_TOPLEVEL</property> <property name="type">GTK_WINDOW_TOPLEVEL</property>
<property name="window_position">GTK_WIN_POS_NONE</property> <property name="window_position">GTK_WIN_POS_NONE</property>
<property name="modal">False</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="destroy_with_parent">True</property>
<property name="role">mate-terminal-profile-editor</property> <property name="role">mate-terminal-profile-editor</property>
<property name="decorated">True</property> <property name="decorated">True</property>