> Das Wechseln der Auflösung mit Ctrl+Alt+Keypad-Plus/-Minus sollte dann aber noch klappen.
Leider nicht, zumindest nicht in die 1920er Auflösung, außerdem bringt das recht wenig, da mit Ctrl+Alt+Keypad-Plus dann nicht das Gnome Panel und die restlichen Menüs angepaßt werden was auch wiederum ziemlich störend ist.
> Aber mir klingt das, was Du beschreibst, eher nach einem Problem von GNOME und keinem spezifischen Debian-Problem. Möglich, könnte aber auch an X.org liegen. Ich bin ja der Meinung, daß es am besten wäre, wenn man in gdm die Auflösung direkt festlegen könnte.
Leider nicht, zumindest nicht in die 1920er Auflösung, außerdem bringt das recht wenig, da mit Ctrl+Alt+Keypad-Plus dann nicht das Gnome Panel und die restlichen Menüs angepaßt werden was auch wiederum ziemlich störend ist.
> Aber mir klingt das, was Du beschreibst, eher nach einem Problem von GNOME und keinem spezifischen Debian-Problem.
Möglich, könnte aber auch an X.org liegen. Ich bin ja der Meinung, daß es am besten wäre, wenn man in gdm die Auflösung direkt festlegen könnte.