On 18.01.2012 18:30, Vincent Untz wrote:
Le mercredi 18 janvier 2012, à 17:51 +0100, K. Dennis Leyendecker a écrit :
On 18.01.2012 16:57, Bryen M Yunashko wrote:
Not all of those extensions are tweak-tool-able. And the downside with tweak-tool is many people still don't know about it. :-/
Then it would be to time to make some serious noise about it, right ;-)
Seriously, I'm not that deep into GNOME nor am I in the position to decide something, so I can only suggest. I'd deliver GNOME 3.4 (this will be the release for 12.2, right?) with tweak-tool and a bookmark of extensions.gnome.org in Firefox.
We already ship gnome-tweak-tool by default. And adding a bookmark to Firefox is certainly doable -- just file a bug and start the discussion there.
PS: can we move this thread to a more appropriate mailing list?
Of course, what about email@example.com?