vlc appears to handle this properly via an alternate setting, so the "bug" is more likely in the window manager.
vlc appears to handle this properly via an alternate setting, so the "bug" is more likely in the window manager.