Correct highlighting of windows in workspace switcher popup. Fixes

2005-01-11  Elijah Newren  <newren@gmail.com>

	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.
This commit is contained in:
Elijah Newren 2005-01-11 19:54:14 +00:00 committed by Elijah Newren
parent 1830a35000
commit 2e465de233
2 changed files with 12 additions and 1 deletions

View File

@ -1,3 +1,13 @@
2005-01-11 Elijah Newren <newren@gmail.com>
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 <newren@gmail.com> 2005-01-09 Elijah Newren <newren@gmail.com>
* configure.in: post-release version bump to 2.9.5 * configure.in: post-release version bump to 2.9.5

View File

@ -781,7 +781,8 @@ meta_select_workspace_expose_event (GtkWidget *widget,
{ {
windows[i].icon = window->icon; windows[i].icon = window->icon;
windows[i].mini_icon = window->mini_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) if (window->frame)
{ {