GNOME Panel größer und dennoch hübsch?

[Jens-Olaf Lindermann]

On Wed, Mar 16, 2011 at 11:39:26PM +0100, Peter Pein wrote:
> Liebe Leser laienhafter, lustloser Lamenti, ;-)

Moin! Zuviel V gesehen? ;-)

>  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(?).

Du beschuldigst also die Entwickler -- vermutlich ohne Ahnung zu haben
(hab ich übrigens auch nicht).

>  Das Theme ist "Ambiance"; die einige Änderung, die ich daran
> vorgenommen habe, betrifft eher metacity (Knöpfchen der Titelleiste
> per gconf-edit wieder nach rechts verlegt).

Ambiance? Eh schon ein Kandidat für Überraschungen -- also unter
ubuntu. Und Deine Aktion führt zu Überraschungen: Da ist nämlich unter
ubuntu offenbar ein bug. Also bug-buddy starten oder an den Entwicklier
des panels mal eine mail mit der Beschreibung. 

>  Wer weiß, wie man das 32px-Panel aussehen läßt wie eine 24er
> Variante - bloß 33 1/3 % größer?

Tut bei mir ohne Probleme -- allerdings mit Compiz statt metacity (und
unter debian)

Gruß
Jens

-- 
Debian GNU/Linux [stable] 
PGP-Key Fingerprint: 96F6 ED6F 4DBC 2F83 ED67 
2A57 FED9 957B 9AEB C035