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

Merge pull request #87 from NiceandGently/master 

ui: fix size of profile-preferences window in GTK3 version with a default
master-1.22
Martin Wimpress 2015-06-09 22:48:55 +01:00
parent 23197be3fa 2ff99ed187
commit e509da3087
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>