> Q: What happens when I'm offline and want to disable/enable extensions? > A: Well, for those cases, I'll probably have an extremely bare-boned > UI that allows people to disable/enable extensions.
In this case you should use gnome-tweak-tool - it already exists. I will add live extension enable/disable when the support is added to the shell. John _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
