Fix issue 159 (Mouse sensitivy in fullscreen mode) by implementing user-defined mouse sensitivity in Settings screen, only affects fullscreen mode. Fix: When changing pixel size, sometimes there were some remaining "dirty lines" at the right edge of screen/window. git-svn-id: svn://pulkomandy.tk/GrafX2/trunk@819 416bcca6-2ee7-4201-b75f-2eb2f807beb1
153 KiB
153 KiB