diff options
Diffstat (limited to 'resources/ui')
| -rw-r--r-- | resources/ui/preferences.ui | 82 |
1 files changed, 51 insertions, 31 deletions
diff --git a/resources/ui/preferences.ui b/resources/ui/preferences.ui index 4ef781d..948bc00 100644 --- a/resources/ui/preferences.ui +++ b/resources/ui/preferences.ui @@ -106,38 +106,17 @@ </packing> </child> <child> - <object class="GtkBox" id="hbox4"> + <object class="GtkCheckButton" id="select-by-string-checkbox"> + <property name="label" translatable="yes">Select Slices by typing their names</property> + <property name="use_action_appearance">False</property> <property name="visible">True</property> - <property name="can_focus">False</property> - <property name="homogeneous">True</property> - <child> - <object class="GtkLabel" id="label4"> - <property name="visible">True</property> - <property name="can_focus">False</property> - <property name="halign">start</property> - <property name="label" translatable="yes">Activation radius</property> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">True</property> - <property name="position">0</property> - </packing> - </child> - <child> - <object class="GtkScale" id="range-hscale"> - <property name="visible">True</property> - <property name="can_focus">True</property> - <property name="fill_level">2000</property> - <property name="round_digits">0</property> - <property name="digits">0</property> - <property name="value_pos">right</property> - </object> - <packing> - <property name="expand">True</property> - <property name="fill">True</property> - <property name="position">1</property> - </packing> - </child> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="has_tooltip">True</property> + <property name="tooltip_markup" translatable="yes">If checked, you can select items in a Pie by typing their names. Otherwise you can activate them with a hotkey (which can be displayed by pressing ALT when a Pie is openened).</property> + <property name="tooltip_text" translatable="yes">If checked, you can select items in a Pie by typing their names. Otherwise you can activate them with a hotkey (which can be displayed by pressing ALT when a Pie is openened).</property> + <property name="xalign">0</property> + <property name="draw_indicator">True</property> </object> <packing> <property name="expand">False</property> @@ -145,6 +124,7 @@ <property name="position">2</property> </packing> </child> + </object> </child> </object> @@ -285,6 +265,46 @@ <property name="position">3</property> </packing> </child> + <child> + <object class="GtkBox" id="hbox4"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="homogeneous">True</property> + <child> + <object class="GtkLabel" id="label4"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="halign">start</property> + <property name="label" translatable="yes">Activation radius</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">0</property> + </packing> + </child> + <child> + <object class="GtkScale" id="range-hscale"> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="fill_level">2000</property> + <property name="round_digits">0</property> + <property name="digits">0</property> + <property name="value_pos">right</property> + </object> + <packing> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">2</property> + </packing> + </child> </object> </child> </object> |