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