Fwd: gnome-tweak-tool support for extension configuration
Hi, you might be interested in knowing that emailing this mailing list without subscription does NOT work :-( - before I subscribed my email was silently ignored which is extremely confusing. Please see my original message. Thanks, Lukas -- Forwarded message -- From: Lukas Vacek lucas.va...@gmail.com Date: Fri, Jan 20, 2012 at 1:56 PM Subject: gnome-tweak-support for extension configuration To: gnome-shell-list@gnome.org Hi list, I am working, under John Stowers' supervision, on support for automagically generating GUI configuration for shell extensions in gnome-tweak-tool. Basically, when the extension uses the new API with user gschemas and follows a simple set of rules (no ultra-complicated types stored in the schema), we will generate GUI configuration for the extension for free :-) Is this something you would be interested in? Are there any gnome extensions using the new API that allows to store gschemas in user home directory? Thanks, Lukas ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
Re: gnome-tweak-tool support for extension configuration
We already implemented a system for configuring extension preferences. See my writeup of the system at http://blog.mecheye.net/2012/02/more-extension-api-breaks/ On Sat, Feb 18, 2012 at 5:59 PM, Lukas Vacek lucas.va...@gmail.com wrote: Hi, you might be interested in knowing that emailing this mailing list without subscription does NOT work :-( - before I subscribed my email was silently ignored which is extremely confusing. Please see my original message. Thanks, Lukas -- Forwarded message -- From: Lukas Vacek lucas.va...@gmail.com Date: Fri, Jan 20, 2012 at 1:56 PM Subject: gnome-tweak-support for extension configuration To: gnome-shell-list@gnome.org Hi list, I am working, under John Stowers' supervision, on support for automagically generating GUI configuration for shell extensions in gnome-tweak-tool. Basically, when the extension uses the new API with user gschemas and follows a simple set of rules (no ultra-complicated types stored in the schema), we will generate GUI configuration for the extension for free :-) Is this something you would be interested in? Are there any gnome extensions using the new API that allows to store gschemas in user home directory? Thanks, Lukas ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list -- Jasper ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
The lost screensaver
Somebody know where did the screensaver go? Any hope to see it again in 3.4? Thanks, Donato ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
Re: Fwd: gnome-tweak-tool support for extension configuration
On Sat, Feb 18, 2012 at 10:59:00PM +, Lukas Vacek wrote: Hi, you might be interested in knowing that emailing this mailing list without subscription does NOT work :-( - before I subscribed my email was silently ignored which is extremely confusing. Please see my original message. Not ignored, not moderated. You're welcome to join and help out to moderate such messages. -- Regards, Olav ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
Re: The lost screensaver
On Sat, Feb 18, 2012 at 4:27 PM, Donato Marrazzo donato.marra...@gmail.comwrote: Somebody know where did the screensaver go? Any hope to see it again in 3.4? There is no plans for a screensaver. That I'm aware of. sri Thanks, Donato ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list