I am sorry for the late proposal, but I feel its important to put forward my
views on extension management.
This is regarding the extension system. A 'main' method to be called when
the extension is loaded is a simple way to inject
code to the existing shell. What about un-doing certain changes
On Mon, May 9, 2011 at 7:44 PM, Vamsi Krishna Brahmajosyula
vamsikrishna.brahmajosy...@gmail.com wrote:
I am sorry for the late proposal, but I feel its important to put forward
my views on extension management.
This is regarding the extension system. A 'main' method to be called when
the
On Mon, May 9, 2011 at 6:52 AM, Giovanni Campagna scampa.giova...@gmail.com
wrote:
First of all, should those modules be provided as tarballs? Last time I
asked this for gnome-shell-extensions, I was answered no, because
distributions should not provided packages of those. Nevertheless, all
On Mon, 2011-05-09 at 15:52 +0200, Giovanni Campagna wrote:
A different issue is then UI. Some time ago it was proposed to introduce
addons.gnome.org, skip the (rpm/deb) packaging completely and just
instruct users to go, download the plugin and install it.
This has the problem that the plugin
Il giorno lun, 09/05/2011 alle 19.44 +0530, Vamsi Krishna Brahmajosyula
ha scritto:
I am sorry for the late proposal, but I feel its important to put
forward my views on extension management.
This is regarding the extension system. A 'main' method to be called
when the extension is
On Mon, May 9, 2011 at 9:12 PM, Giovanni Campagna scampa.giova...@gmail.com
wrote:
Il giorno lun, 09/05/2011 alle 19.44 +0530, Vamsi Krishna Brahmajosyula
ha scritto:
I am sorry for the late proposal, but I feel its important to put
forward my views on extension management.
This is
Il giorno lun, 09/05/2011 alle 17.13 +0200, Florian Müllner ha scritto:
On Mon, 2011-05-09 at 15:52 +0200, Giovanni Campagna wrote:
A different issue is then UI. Some time ago it was proposed to introduce
addons.gnome.org, skip the (rpm/deb) packaging completely and just
instruct users to
Le lundi 09 mai 2011 à 17:13 +0200, Florian Müllner a écrit :
So I'd imagine something simple as a gzipped tarball with a custom
extension (gsx == GNOME Shell extension?) which is distributed on
addons.gnome.org - then we can have a dedicated app (Desktop Extension
Manager?) registered as MIME
On Mon, 2011-05-09 at 17:50 +0200, Giovanni Campagna wrote:
So .gsx (application/vnd.gnome.shell-extension) for the Shell, .gdp
(application/vnd.gnome.gedit-plugin) for Gedit, .epe
(application/vnd.gnome.epiphany-extension) for Ephiphany, etc.? How
would it integrate with, for example,
On 05/09/2011 03:52 PM, Giovanni Campagna wrote:
I'm looking forwards to see your opinions on these issues and I'm ready
to help with whatever work (at the UI/platform/releng level) is needed
to get a better plugin experience in GNOME 3.2
For your information, there is currently a Summer of
10 matches
Mail list logo