Use the GTK scaling factor to scale the video allocation so video displays correctly on hi-dpi screens