diff options
| author | William Wold <[email protected]> | 2020-10-02 11:00:12 -0700 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-10-21 20:35:15 +0200 |
| commit | bae656b33f34b7fabb6904bc8fb4b102eccd7dd5 (patch) | |
| tree | c34324ffa3a08d69a8d9ec3ef398996e97ce3ed6 | |
| parent | ea5f814e611094cca992afb6d54b49d178bce959 (diff) | |
| download | mate-panel-bae656b33f34b7fabb6904bc8fb4b102eccd7dd5.tar.bz2 mate-panel-bae656b33f34b7fabb6904bc8fb4b102eccd7dd5.tar.xz | |
Don't crash if shell doesn't support foreign toplevel
| -rw-r--r-- | applets/wncklet/wayland-backend.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/applets/wncklet/wayland-backend.c b/applets/wncklet/wayland-backend.c index d51fb7d0..16a35f34 100644 --- a/applets/wncklet/wayland-backend.c +++ b/applets/wncklet/wayland-backend.c @@ -361,6 +361,7 @@ void wayland_tasklist_set_orientation (GtkWidget* tasklist_widget, GtkOrientation orient) { TasklistManager *tasklist = tasklist_widget_get_tasklist (tasklist_widget); + g_return_if_fail(tasklist); gtk_orientable_set_orientation (GTK_ORIENTABLE (tasklist->list), orient); gtk_orientable_set_orientation (GTK_ORIENTABLE (tasklist->outer_box), orient); } |