Stimmt schon, aber das empfinde ich eher als störend. hab lieber ne feste Grösse. Für Xfce hatte ich schonmal tutorial gesehen, wie man so themes selbst besteln kann, also wirds das für gnome wohl auch geben. Müsste ich mich wohl mal mit beschäftigen.
Dr. Ä: muss ich beim nächsten start mal testen. danke!