diff options
| author | raveit65 <[email protected]> | 2018-03-14 13:41:55 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-03-22 12:57:17 +0100 |
| commit | 72fb2fcc6a953649411c11e914737798c4dc0e12 (patch) | |
| tree | 479f3b4cf1df2a06e71b86b7583ea6c517da6085 | |
| parent | 88a2442685fe11bfd64f39458619a8a3d477d763 (diff) | |
| download | mate-panel-72fb2fcc6a953649411c11e914737798c4dc0e12.tar.bz2 mate-panel-72fb2fcc6a953649411c11e914737798c4dc0e12.tar.xz | |
workspace-switcher: support metacity WM
Fixes https://github.com/mate-desktop/mate-panel/issues/711
| -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 |