aa9d3515a1
Consumer documentation will live at http://live.gnome.org/GnomeShell/Extensions In terms of implementation; basically we load extensions from the well-known directories. Add a GConf key to disable extensions by uuid. There is a new option --create-extension for the gnome-shell script which takes a bit of interactive input, sets up some sample files, and launches gedit. No extensions UI in this patch; that will come later. https://bugzilla.gnome.org/show_bug.cgi?id=599661 |
||
---|---|---|
.. | ||
theme | ||
add-workspace.svg | ||
app-well-glow.png | ||
close-black.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
magnifier.svg | ||
Makefile.am | ||
remove-workspace.svg |