Lionel Ulmer wrote:
As I often switch between Desktop and non-Desktop mode, I found it annoying to each time having to re-enter my preferred 'Desktop' settings of 800x600. So created the 'DesktopDisabled' key.
It annoys me as well. Instead of creating another key, why not set the Desktop key to #800x600. We will need to fix x11drv_main, of course...
Richard.