diff options
Diffstat (limited to 'applets/wncklet/workspace-switcher.ui')
| -rw-r--r-- | applets/wncklet/workspace-switcher.ui | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/applets/wncklet/workspace-switcher.ui b/applets/wncklet/workspace-switcher.ui index 8de7fb34..00aae987 100644 --- a/applets/wncklet/workspace-switcher.ui +++ b/applets/wncklet/workspace-switcher.ui @@ -234,6 +234,21 @@ <property name="position">3</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="workspace_wrap_toggle"> + <property name="label" translatable="yes">Allow workspace _wrap around in switcher</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> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">4</property> + </packing> + </child> </object> </child> </object> |