First post, by lvm
When dosbox goes fullscreen it changes screen resolution to 640*480 and restores original resolution after exit, and when display is connected to an ordinary DB-15 VGA port it works fine (except when dosbox crashes :) but when display is connected to the same system over HDMI screen resolution is not restored and remains stuck at 640*480. dosbox 0.74 on 32-bit linux (ubuntu 10.10), video ATI HD4590 (xorg ati drivers, NOT fglrx)