5 Workspace Switcher Preferences False normal True vertical 2 True 5 vertical 12 True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 none True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 12 True vertical 6 Show _only the current workspace True True False True True False False 0 True 12 Show _all workspaces in: True True False True True current_only_radio False False 0 True 6 True True num_rows_adjustment 1 True 0 True 0 rows center num_rows_spin False False 1 1 1 True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Switcher False 0 True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 none True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 12 True vertical 6 True 12 True 0 Number of _workspaces: True center num_workspaces_spin False False 0 True True num_workspaces_adjustment 1 True 1 False False 0 True 0 Workspace na_mes: True workspaces_tree_view False False 1 100 True True automatic automatic in True True Workspace Names False 2 Show workspace _names in switcher True True False True True False False 3 Allow workspace _wrap around in switcher True True False True True False False 4 True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Workspaces 1 1 True gtk-help True True True False True False False 0 gtk-close True True True True False True False False 1 False end 0 help_button done_button 1 1 36 1 10 1 1 16 1 10