On Wednesday 16 March 2011 23:39:26 Peter Pein wrote: > Meine Vermutung ist, dass zwar vorgesehen ist, die Panelhöhe zu > ändern, aber mit einem "Wer macht das schon?" kein Aufwand auf eine > angemessene Implementierung verschwendet wurde(?) änder mal das theme! das ist daran schuld, nicht die gnome implementierung!