On Fri, Oct 25, 2013 at 11:38:56AM +0000, Thorsten Glaser wrote: > found it usable even in 1.x days), is also true for GNOME: it > is said to disable the ability of users to theme and customise > it, and Torvalds’ opinions are well-known.)
GNOME tweak tool has existed since GNOME 3. It has been redesigned in 3.10 and offers the ability to change themes since the start. The redesigned means it receives development and attention. It is called tweak tool because it is considered tweaks, might not work at the same level as other options (though generally everything works fine). Aside from this we're improving theme support but due to that they break more often atm. Don't you use GNOME? -- Regards, Olav -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20131025145447.gg7...@bkor.dhs.org
