From 9d69c70a56c6dd5e73ac909862f90c480e1c4532 Mon Sep 17 00:00:00 2001 From: Moritz Bruder Date: Fri, 12 Jan 2018 20:17:52 +0100 Subject: Update workspace switcher properties dialog Removed deprecated ui elements to make it fully compatible with GTK+ 3 and additionally made the dialog resizeable. --- applets/wncklet/workspace-switcher.ui | 218 ++++++++++++++++++++-------------- 1 file changed, 127 insertions(+), 91 deletions(-) (limited to 'applets/wncklet') diff --git a/applets/wncklet/workspace-switcher.ui b/applets/wncklet/workspace-switcher.ui index be784941..5d561442 100644 --- a/applets/wncklet/workspace-switcher.ui +++ b/applets/wncklet/workspace-switcher.ui @@ -1,37 +1,98 @@ - + + - - + + + 1 + 16 + 1 + 1 + 10 + + + 1 + 36 + 1 + 1 + 10 + + False 5 Workspace Switcher Preferences - False normal - + True + False vertical 2 + + + True + False + + + gtk-help + True + True + True + False + True + + + False + False + 0 + + + + + gtk-close + True + True + True + True + False + True + + + False + False + 1 + + + + + False + False + end + 0 + + - + True - 5 + False vertical - 12 + 6 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 @@ -42,16 +103,18 @@ False True True + all_workspaces_radio False False - 0 + 1 - + True + False 12 @@ -61,17 +124,17 @@ False True True - current_only_radio False False - 0 + 1 - + True + False 6 @@ -82,31 +145,38 @@ True - 0 + True + True + 1 True - 0 + False rows center - num_rows_spin + 0 False False - 1 + 2 - 1 + False + False + end + 2 - 1 + False + False + 2 @@ -116,6 +186,7 @@ True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Switcher @@ -126,42 +197,47 @@ False - 0 + 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 - 0 + False Number of _workspaces: True center - num_workspaces_spin + 0 False False - 0 + 1 @@ -173,28 +249,32 @@ True - 1 + False + False + end + 2 False False - 0 + 1 True - 0 + False Workspace na_mes: True workspaces_tree_view + 0 False False - 1 + 2 @@ -202,8 +282,6 @@ 100 True True - automatic - automatic in @@ -211,11 +289,16 @@ True Workspace Names False + + + - 2 + True + True + 3 @@ -230,7 +313,7 @@ False False - 3 + 4 @@ -245,7 +328,7 @@ False False - 4 + 5 @@ -255,6 +338,7 @@ True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Workspaces @@ -264,74 +348,26 @@ - 1 + True + True + 2 + True + True 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 + + + -- cgit v1.2.1