On Sun, Oct 09, 2005 at 03:02:30PM +0100, Richard Cohen wrote:
> 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...
Ah yes, another possibility to fix this problem :-)
Will wait for more comments to see
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
