GNOME Bugzilla – Bug 725508
Can not handle window manager's unfull/full screen operation
Last modified: 2015-10-06 16:14:11 UTC
1) fullscreen window via window manager (shortcut key) 2) type <F11> *twice* to unfullscreen Possible issue can be found https://developer.gnome.org/gtk3/3.4/GtkWindow.html#gtk-window-fullscreen
gnome-documents has the same problem[1], maybe we should fix gnome-documents's first. [1] https://bugzilla.gnome.org/show_bug.cgi?id=725634
Created attachment 312736 [details] [review] main-window, mode-controller: Cope better with WM fullscreen events