diff options
author | raveit65 <[email protected]> | 2018-03-14 13:41:55 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2018-03-22 12:50:16 +0100 |
commit | 6609af3977b154bd9e666ca0884112093654a49a (patch) | |
tree | 433f2003164ec87df9f4100d66ef4292e3c0f49c /applets | |
parent | bc662901072600ac3a7e4f401de122657c7bbbc3 (diff) | |
download | mate-panel-6609af3977b154bd9e666ca0884112093654a49a.tar.bz2 mate-panel-6609af3977b154bd9e666ca0884112093654a49a.tar.xz |
workspace-switcher: support metacity WM
Fixes https://github.com/mate-desktop/mate-panel/issues/711
Diffstat (limited to 'applets')
-rw-r--r-- | applets/wncklet/workspace-switcher.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/applets/wncklet/workspace-switcher.c b/applets/wncklet/workspace-switcher.c index 37c2fb07..1c584f78 100644 --- a/applets/wncklet/workspace-switcher.c +++ b/applets/wncklet/workspace-switcher.c @@ -47,6 +47,7 @@ typedef enum { PAGER_WM_MARCO, + PAGER_WM_METACITY, PAGER_WM_COMPIZ, PAGER_WM_UNKNOWN } PagerWM; @@ -96,6 +97,8 @@ static void pager_update(PagerData* pager) if (pager->wm == PAGER_WM_MARCO) wnck_pager_set_display_mode(WNCK_PAGER(pager->pager), pager->display_mode); + else if (pager->wm == PAGER_WM_METACITY) + wnck_pager_set_display_mode(WNCK_PAGER(pager->pager), pager->display_mode); else wnck_pager_set_display_mode(WNCK_PAGER(pager->pager), WNCK_PAGER_DISPLAY_CONTENT); } @@ -114,6 +117,16 @@ static void update_properties_for_wm(PagerData* pager) if (pager->display_workspaces_toggle) gtk_widget_show(pager->display_workspaces_toggle); break; + case PAGER_WM_METACITY: + if (pager->workspaces_frame) + gtk_widget_show(pager->workspaces_frame); + if (pager->workspace_names_label) + gtk_widget_show(pager->workspace_names_label); + if (pager->workspace_names_scroll) + gtk_widget_show(pager->workspace_names_scroll); + if (pager->display_workspaces_toggle) + gtk_widget_show(pager->display_workspaces_toggle); + break; case PAGER_WM_COMPIZ: if (pager->workspaces_frame) gtk_widget_show(pager->workspaces_frame); @@ -149,6 +162,8 @@ static void window_manager_changed(WnckScreen* screen, PagerData* pager) pager->wm = PAGER_WM_UNKNOWN; else if (strcmp(wm_name, "Metacity (Marco)") == 0) pager->wm = PAGER_WM_MARCO; + else if (strcmp(wm_name, "Metacity") == 0) + pager->wm = PAGER_WM_METACITY; else if (strcmp(wm_name, "Compiz") == 0) pager->wm = PAGER_WM_COMPIZ; else |