diff options
author | William Bader <[email protected]> | 2020-05-26 21:01:28 +0100 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2020-05-27 09:45:55 -0400 |
commit | 92c984c8f657e078742e641f1fd6d05acc87f3ec (patch) | |
tree | 99f46918cbb9d20dcd3573b172b4bdea62846ce8 | |
parent | 54d12f0b6be567f71d6f6da44f1a621f5aff2660 (diff) | |
download | marco-92c984c8f657e078742e641f1fd6d05acc87f3ec.tar.bz2 marco-92c984c8f657e078742e641f1fd6d05acc87f3ec.tar.xz |
In the pop-up workspace switcher, show the selected workspace with
a dark color when compositing is disabled. Updates #566 which changed
the selected workspace to a light color on a light background.
-rw-r--r-- | src/ui/tabpopup.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/ui/tabpopup.c b/src/ui/tabpopup.c index 999ab6f9..fe7107dd 100644 --- a/src/ui/tabpopup.c +++ b/src/ui/tabpopup.c @@ -1126,7 +1126,16 @@ meta_select_workspace_draw (GtkWidget *widget, gtk_style_context_set_state (context, gtk_widget_get_state_flags (widget)); - meta_gtk_style_get_light_color (context, GTK_STATE_FLAG_SELECTED, &color); + if (meta_prefs_get_compositing_manager ()) + { + /* compositing manager creates a dark background: show the selection in a light color */ + meta_gtk_style_get_light_color (context, GTK_STATE_FLAG_SELECTED, &color); + } + else + { + /* non-compositing creates a light background: show the selection in a dark color */ + meta_gtk_style_get_dark_color (context, GTK_STATE_FLAG_SELECTED, &color); + } cairo_set_line_width (cr, SELECT_OUTLINE_WIDTH); cairo_set_source_rgb (cr, color.red, color.green, color.blue); |