Zunächst war ich ziemlich frustriert, weil es gar keine Möglichkeit zu geben schien, die Auflösung des virtuellen Screens anzupassen. Nach längerer Recherche stieß ich im Web auf das Konsole-Kommando "sudo lxrandr". Das lässt ein GUI-Kontrollfeld erscheinen, in dem man die gewünschte Auflösung einstellen und sofort anwenden kann.
Es gibt auch einen Speicher-Button, der leider nur eine begrenzte Wirkung hat: Nach einem Neustart bekommt das Fenster für ca. 2s die richtige (zuzletzt eingestellte) Größe, um aber kurz darauf wieder auf 600x400 zurück zu fallen.
Kann man das irgendwie "reparieren"? Danke für Tips.