From 2e465de233b63a38193e5841da471404a194e9a6 Mon Sep 17 00:00:00 2001 From: Elijah Newren Date: Tue, 11 Jan 2005 19:54:14 +0000 Subject: [PATCH] Correct highlighting of windows in workspace switcher popup. Fixes 2005-01-11 Elijah Newren Correct highlighting of windows in workspace switcher popup. Fixes #163450. * src/tabpopup.c (meta_select_workspace_expose_event): Remove race between FocusIn/FocusOut events and the expose event by replacing window->has_focus with window==window->display->expected_focus_window. --- ChangeLog | 10 ++++++++++ src/tabpopup.c | 3 ++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 876bff08e..68bedcf64 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,13 @@ +2005-01-11 Elijah Newren + + Correct highlighting of windows in workspace switcher popup. + Fixes #163450. + + * src/tabpopup.c (meta_select_workspace_expose_event): Remove race + between FocusIn/FocusOut events and the expose event by replacing + window->has_focus with + window==window->display->expected_focus_window. + 2005-01-09 Elijah Newren * configure.in: post-release version bump to 2.9.5 diff --git a/src/tabpopup.c b/src/tabpopup.c index e40746206..ca2554617 100644 --- a/src/tabpopup.c +++ b/src/tabpopup.c @@ -781,7 +781,8 @@ meta_select_workspace_expose_event (GtkWidget *widget, { windows[i].icon = window->icon; windows[i].mini_icon = window->mini_icon; - windows[i].is_active = window->has_focus; + windows[i].is_active = + (window == window->display->expected_focus_window); if (window->frame) {