Does anybody have problems with fullscreen mode for latest CVS, checked out one hour ago? When switching to full screen the display changes but the window remains in the original size. Dragging the corners out to cover the whole screen gives the expected full screen mode.