diff options
| author | Moritz Bruder <[email protected]> | 2013-02-10 01:06:58 +0100 |
|---|---|---|
| committer | Stefano Karapetsas <[email protected]> | 2013-02-10 11:57:49 +0100 |
| commit | f595538db940b6cee91e87f75ee4a87fa2fb1174 (patch) | |
| tree | 9a9e47b061a35ffab3bf29428e2375cdb88fc0aa /applets/wncklet/workspace-switcher.ui | |
| parent | f159031648e2a917e785bf63c0e0480d50210282 (diff) | |
| download | mate-panel-f595538db940b6cee91e87f75ee4a87fa2fb1174.tar.bz2 mate-panel-f595538db940b6cee91e87f75ee4a87fa2fb1174.tar.xz | |
Added a wrap around option for workspace switcher
Includes:
- a toggle button in the preferences (wrap_workspaces_toggle), a gboolean keeping track (wrap_workspaces)
- another entry in the schema (gsettings)
- and some minor code changes (which only affect the code when scrolling while on the last or first index)
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> |