Re: Make "Toggle fullscreen mode" shortcut work

[Elijah Newren <newren gmail com>]

Hi,

On 9/2/05, Bastien Nocera <hadess hadess net> wrote:

Heya,

Another patch for today, fixing
http://bugzilla.gnome.org/show_bug.cgi?id=302592

The patch looks big, but the only real change is making all the
fullscreen changes (hiding and/or showing widgets, etc.) in the
window-state-event handler.

This looks like a nice fix, but it looks like it's for
non-default behavior and doesn't prevent full usage of the app. 
I'd rather avoid non-urgent patches this close to release time. 
Maybe others on the team will feel differently, though...

Hope that helps,
Elijah