diff options
| author | Konstantin Unruh <[email protected]> | 2020-05-14 10:59:58 +0200 |
|---|---|---|
| committer | Robert Antoni Buj Gelonch <[email protected]> | 2020-05-24 19:06:20 +0200 |
| commit | 146cc418fad7c39a21a1ce55f92a895bb0be3332 (patch) | |
| tree | a3adf8515efa54b22676f3a474b6f2c01849001e /applets/wncklet/window-list.ui | |
| parent | 3b9b7eca66936c29fea886ae2b3dd0eeae1c3748 (diff) | |
| download | mate-panel-146cc418fad7c39a21a1ce55f92a895bb0be3332.tar.bz2 mate-panel-146cc418fad7c39a21a1ce55f92a895bb0be3332.tar.xz | |
preferences dialog: change show thumbnails radio to check button and bind its active property to sensitivity state of GtkSpinButton
Diffstat (limited to 'applets/wncklet/window-list.ui')
| -rw-r--r-- | applets/wncklet/window-list.ui | 30 |
1 files changed, 7 insertions, 23 deletions
diff --git a/applets/wncklet/window-list.ui b/applets/wncklet/window-list.ui index 85fc5197..d780d386 100644 --- a/applets/wncklet/window-list.ui +++ b/applets/wncklet/window-list.ui @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!-- Generated with glade 3.22.1 --> +<!-- Generated with glade 3.36.0 --> <interface> <requires lib="gtk+" version="3.22"/> <object class="GtkImage" id="image1"> @@ -17,9 +17,6 @@ <property name="border_width">5</property> <property name="title" translatable="yes">Window List Preferences</property> <property name="type_hint">normal</property> - <child> - <placeholder/> - </child> <child internal-child="vbox"> <object class="GtkBox" id="dialog-vbox2"> <property name="visible">True</property> @@ -195,7 +192,7 @@ <property name="orientation">vertical</property> <property name="spacing">6</property> <child> - <object class="GtkRadioButton" id="show_thumbnails_radio"> + <object class="GtkCheckButton" id="show_thumbnails_check"> <property name="label" translatable="yes">Show _thumbnails on hover</property> <property name="visible">True</property> <property name="can_focus">True</property> @@ -205,23 +202,7 @@ </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">0</property> - </packing> - </child> - <child> - <object class="GtkRadioButton" id="hide_thumbnails_radio"> - <property name="label" translatable="yes">_Hide thumbnails on hover</property> - <property name="visible">True</property> - <property name="can_focus">True</property> - <property name="receives_default">False</property> - <property name="use_underline">True</property> - <property name="draw_indicator">True</property> - <property name="group">show_thumbnails_radio</property> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> + <property name="fill">True</property> <property name="position">1</property> </packing> </child> @@ -246,7 +227,7 @@ <property name="can_focus">False</property> <property name="spacing">6</property> <child> - <object class="GtkLabel" id="label2"> + <object class="GtkLabel" id="thumbnail_size_label"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="tooltip_text" translatable="yes">Thumbnail width in pixels. Window aspect ratio will be maintained.</property> @@ -483,5 +464,8 @@ <action-widget response="-11">help_button</action-widget> <action-widget response="0">done_button</action-widget> </action-widgets> + <child type="titlebar"> + <placeholder/> + </child> </object> </interface> |