Padding
That would normally be a mere comment, but since some people do not like the dialog and close the comment forms on their blog, I had to make it into a full blog post.
I see Matthias is very proud about his 5 tweaks for the F12 desktop (it seems he forgot the 6th, the removal of the "hide all windows" buttons), but as soon as one of them, the padding patch hit Rawhide (post feature-freeze) I started seeing people crying on user forums, wondering if it is a bug and other innocent but clueless people advising to play with the DPI settings or other useless things.
When I point this is a deliberate design decision, people thank goodness the setting can be reverted back to the original value, a sentiment I am totally sympathetic with, since myself also prefer the icons/items grouped close to the corners, not spread all over the panel and making it feel even more busy.
Tip: turn the padding back with:
gconftool-2 --type int --set /apps/panel/toplevels/top_panel/padding 0
gconftool-2 --type int --set /apps/panel/toplevels/bottom_panel/padding 0
Posts
Matthias' post lack commenting ability, but have you noticed that gnome-shell doesn't follow sorting rules for notification icons?
ReplyDeleteThis was last-minute polish for the F12 desktop, GNOME Shell is under (and in need of) heavy development
ReplyDeleteThanks a lot, Nicu!
ReplyDeleteIt seems that Gnome 2.28 turned out to be pretty ugly by default and we have to do a bunch of gconf tweaks to fix it.
This one definitely goes to the list, as it was driving me insane, but didn't know how to fix it.