diff options
| author | William Wold <[email protected]> | 2020-10-02 18:11:16 -0700 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-10-21 20:35:15 +0200 |
| commit | 97feef6bdef78ef2ab357f885a8170b3ac3b33b1 (patch) | |
| tree | 60bdd7132636dcf0a435499cd283e3db5cb35acd | |
| parent | 7a4207f33c889fd97da78da0a73033c8de2eeee9 (diff) | |
| download | mate-panel-97feef6bdef78ef2ab357f885a8170b3ac3b33b1.tar.bz2 mate-panel-97feef6bdef78ef2ab357f885a8170b3ac3b33b1.tar.xz | |
Fix workspace switcher on X11
| -rw-r--r-- | applets/wncklet/workspace-switcher.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/applets/wncklet/workspace-switcher.c b/applets/wncklet/workspace-switcher.c index 9ff7d723..240145d9 100644 --- a/applets/wncklet/workspace-switcher.c +++ b/applets/wncklet/workspace-switcher.c @@ -66,10 +66,7 @@ typedef struct { GtkWidget* pager; -#ifdef HAVE_X11 WnckScreen* screen; -#endif // HAVE_X11 - PagerWM wm; /* Properties: */ @@ -201,7 +198,7 @@ static void update_properties_for_wm(PagerData* pager) } } -static void window_manager_changed(PagerData* pager) +static void window_manager_changed(WnckScreen* screen, PagerData* pager) { const char *wm_name = NULL; @@ -239,7 +236,7 @@ static void applet_realized(MatePanelApplet* applet, PagerData* pager) } #endif // HAVE_X11 - window_manager_changed(pager); + window_manager_changed(pager->screen, pager); } static void applet_unrealized(MatePanelApplet* applet, PagerData* pager) @@ -609,7 +606,6 @@ gboolean workspace_switcher_applet_fill(MatePanelApplet* applet) { pager->pager = wnck_pager_new(); wnck_pager_set_shadow_type(WNCK_PAGER(pager->pager), GTK_SHADOW_IN); - pager->screen = NULL; } else #endif // HAVE_X11 |