From c100c45640b7cc64f8ecca4cf4e1b0f77a637f3f Mon Sep 17 00:00:00 2001 From: William Wold Date: Mon, 19 Oct 2020 11:00:13 -0700 Subject: Show label about options not available on Wayland --- applets/wncklet/window-list.c | 4 ++++ applets/wncklet/window-list.ui | 20 ++++++++++++++++++-- 2 files changed, 22 insertions(+), 2 deletions(-) diff --git a/applets/wncklet/window-list.c b/applets/wncklet/window-list.c index dd18fc72..6038400e 100644 --- a/applets/wncklet/window-list.c +++ b/applets/wncklet/window-list.c @@ -73,6 +73,7 @@ typedef struct { /* Properties: */ GtkWidget* properties_dialog; + GtkWidget* wayland_info_label; GtkWidget* show_current_radio; GtkWidget* show_all_radio; #ifdef HAVE_WINDOW_PREVIEWS @@ -959,6 +960,8 @@ static void setup_sensitivity(TasklistData* tasklist, GtkBuilder* builder, const #ifdef HAVE_WAYLAND static void setup_dialog_wayland(TasklistData* tasklist) { + gtk_widget_show(tasklist->wayland_info_label); + gtk_widget_set_sensitive(tasklist->window_list_content_box, FALSE); gtk_widget_set_sensitive(tasklist->window_grouping_box, FALSE); gtk_widget_set_sensitive(tasklist->minimized_windows_box, FALSE); @@ -976,6 +979,7 @@ static void setup_dialog(GtkBuilder* builder, TasklistData* tasklist) GtkAdjustment *adjustment; #endif /* HAVE_WINDOW_PREVIEWS */ + tasklist->wayland_info_label = WID("wayland_info_label"); tasklist->show_current_radio = WID("show_current_radio"); tasklist->show_all_radio = WID("show_all_radio"); diff --git a/applets/wncklet/window-list.ui b/applets/wncklet/window-list.ui index 2161d427..765b5b68 100644 --- a/applets/wncklet/window-list.ui +++ b/applets/wncklet/window-list.ui @@ -76,6 +76,22 @@ 5 vertical 18 + + + False + False + Some options not available on Wayland + 0 + + + + + + False + False + 0 + + True @@ -154,7 +170,7 @@ False True - 0 + 1 @@ -270,7 +286,7 @@ False True - 1 + 2 -- cgit v1.2.1