On Tue, 08 Nov 2011 23:12:38 +0000, Richard wrote: (...)
>> I know all of the settings can be tweaked by editing the corresponding >> CSS file but this file will be overwritten with any of the upcoming >> update affecting gnome-shell, so I decided to leave the gnome-shell "as >> is" (in a very bad shape) and wait for better times to come (aka: wait >> for gnome-tweak-tool to be in wheezy). >> >> >> > The gnome-tweak-tool is in wheezy, It was not at the time I did the upgrade. It now is, thanks for the "heads-up" :-) > but the gnome3 extensions are not, nor is the side panel with the apps > you use most. At the moment its a awkward hybrid. I fear of starting my wheezy, it looks so ugly and unuseful... I don't even recognize it. And some dialog menus are so big that are not full visible in my 10.1" netbook (I miss "help/close" bottom buttons :-/) Greetings, -- Camaleón -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/pan.2011.11.09.12.08...@gmail.com
