Thanks for the quick fix. I also posted a comment in GNOME's Bugzilla. I don't understand why you'd go full screen, most of the time the resolution of a video file is lower than the desktop resolution, so if you'd go full screen the image quality of the video file would be lowered.
Thanks for the quick fix. I also posted a comment in GNOME's Bugzilla. I don't understand why you'd go full screen, most of the time the resolution of a video file is lower than the desktop resolution, so if you'd go full screen the image quality of the video file would be lowered.