GNOME Bugzilla – Bug 676307
Cannot leave full screen before system bootup (not even with keyboard)
Last modified: 2016-03-31 13:59:46 UTC
While in Fedora 16 live image grub menu, before the system starts up, I can't leave full-screen, not even with ctrl+shift+F11 shortcut. Shortcut starts working as Fedora starts to load. Happens only *sometimes* though. gnome-boxes-3.4.2-1.fc17.x86_64 qemu-kvm-1.0-17.fc17.x86_64 Would also be useful for the Ctrk+shift+F11 shortcut to be stated somewhere, as common user might not be aware of it.
Created attachment 214691 [details] [review] Always show topbar when mouse can be grabbed
Created attachment 214692 [details] [review] Update topbar title to help with ungrab This should help user in case the mouse is grabbed.
Review of attachment 214691 [details] [review]: Looks good otherwise. Assuming you fix the small nitpick and that you have tested it, ACK! ::: src/display-page.vala @@ -140,1 +145,10 @@ - void set_overlay_toolbar_visible(bool visible) { + private void update_toolbar_visible() { + if (app.fullscreen && !can_grab_mouse) + toolbar.visible = false; ... 7 more ... coding style nitpick: " ("
Review of attachment 214692 [details] [review]: ACK! ::: src/display-page.vala @@ -175,2 +175,3 @@ } + public void update_title() { space before '('. Same thing in the call to this function below.
Attachment 214691 [details] pushed as bc0c837 - Always show topbar when mouse can be grabbed Attachment 214692 [details] pushed as 241b780 - Update topbar title to help with ungrab
Awesomely quick fixing, this was really a bugger at times!