Re: PATCH: Fix for gtk_window_focus_filter()

[Federico Mena Quintero <federico ximian com>]

Owen Taylor <otaylor redhat com> writes:

> Yes, go ahead, though could you add a note to the filter
> function:

OK, I just committed it with your comment.

> [ 
>  Just noticed another pathology (not at all new, will be
>  more or less fixed by the new protocol in GTK+-2.0):
> 
>   Without a window manager running, move the focus to an
>   embedded child - focus becomes stuck on that toplevel.
> ]

Hmmm.  Well, I guess running multiple clients without a window manager
is a bad idea to begin with :)

  Federico