diff options
| author | William Wold <[email protected]> | 2020-10-19 10:16:41 -0700 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-10-21 20:35:15 +0200 |
| commit | 7af98da1f246bc879c04cdbb9bb0659ba4539400 (patch) | |
| tree | c10f39a575056bed03153f8e52663a4fd099955f /applets/wncklet | |
| parent | 6466fd3aaab49d2528800a7960367a496d0ef2b2 (diff) | |
| download | mate-panel-7af98da1f246bc879c04cdbb9bb0659ba4539400.tar.bz2 mate-panel-7af98da1f246bc879c04cdbb9bb0659ba4539400.tar.xz | |
Set minimized windows control sensitivity with the parent box
Diffstat (limited to 'applets/wncklet')
| -rw-r--r-- | applets/wncklet/window-list.c | 8 | ||||
| -rw-r--r-- | applets/wncklet/window-list.ui | 2 |
2 files changed, 4 insertions, 6 deletions
diff --git a/applets/wncklet/window-list.c b/applets/wncklet/window-list.c index a4b9b9ea..9ec9d097 100644 --- a/applets/wncklet/window-list.c +++ b/applets/wncklet/window-list.c @@ -83,9 +83,9 @@ typedef struct { GtkWidget* never_group_radio; GtkWidget* auto_group_radio; GtkWidget* always_group_radio; - GtkWidget* minimized_windows_label; GtkWidget* move_minimized_radio; GtkWidget* change_workspace_radio; + GtkWidget* minimized_windows_box; GSettings* settings; #ifdef HAVE_WINDOW_PREVIEWS @@ -474,9 +474,7 @@ static void tasklist_properties_update_content_radio(TasklistData* tasklist) if (!gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(button))) gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(button), TRUE); - gtk_widget_set_sensitive(tasklist->minimized_windows_label, tasklist->include_all_workspaces); - gtk_widget_set_sensitive(tasklist->move_minimized_radio, tasklist->include_all_workspaces); - gtk_widget_set_sensitive(tasklist->change_workspace_radio, tasklist->include_all_workspaces); + gtk_widget_set_sensitive(tasklist->minimized_windows_box, tasklist->include_all_workspaces); } static void display_all_workspaces_changed(GSettings* settings, gchar* key, TasklistData* tasklist) @@ -997,9 +995,9 @@ static void setup_dialog(GtkBuilder* builder, TasklistData* tasklist) gtk_widget_hide(WID("window_thumbnails")); #endif - tasklist->minimized_windows_label = WID("minimized_windows_label"); tasklist->move_minimized_radio = WID("move_minimized_radio"); tasklist->change_workspace_radio = WID("change_workspace_radio"); + tasklist->minimized_windows_box = WID("minimized_windows_box"); setup_sensitivity(tasklist, builder, "move_minimized_radio", "change_workspace_radio", NULL, "move-unminimized-windows" /* key */); diff --git a/applets/wncklet/window-list.ui b/applets/wncklet/window-list.ui index d780d386..b7dc00c3 100644 --- a/applets/wncklet/window-list.ui +++ b/applets/wncklet/window-list.ui @@ -371,7 +371,7 @@ </packing> </child> <child> - <object class="GtkBox" id="vbox13"> + <object class="GtkBox" id="minimized_windows_box"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> |