brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,933 Commits 180 Branches 237 Tags 70 MiB
8f2a6f8387
Commit Graph

9 Commits

Author SHA1 Message Date
Jasper St. Pierre
c21b1e5fe0 st: Remove StIconType 
GTK+ works by explicitly specifying a -symbolic suffix for all icons.
Do the same here.

https://bugzilla.gnome.org/show_bug.cgi?id=682540
 2012-08-29 16:41:09 -03:00
Jasper St. Pierre
ceb17dc713 gnome-shell-extension-tool: Fix example extension for 3.3.90 API 
insert_actor was replaced with the standard Clutter insert_child_at_index

https://bugzilla.gnome.org/show_bug.cgi?id=672326
 2012-03-18 06:42:04 -04:00
Jasper St. Pierre
44e2f7f555 gnome-shell-extension-tool: Add facilities to enable/disable extensions 
https://bugzilla.gnome.org/show_bug.cgi?id=661815
 2011-10-20 17:38:48 -04:00
Jasper St. Pierre
e63c2da433 gnome-shell-extension-tool: Use xdg-open 
gnome-open is deprecated
 2011-10-20 15:39:14 -04:00
Jasper St. Pierre
38c768fdb3 gnome-shell-extension-tool: Fix error after creating extension 
Commit 7a8a00c705 cleaned up the code to move all
files to a dictionary, which accidentally left an undefined "extensionjs_path"
error. Fix that error.

https://bugzilla.gnome.org/show_bug.cgi?id=661623
 2011-10-20 15:38:02 -04:00
Jasper St. Pierre
2d813cbdd8 extensionSystem: Implement new live enable/disable system 
The rough sketches of the system are outlined here:

http://mail.gnome.org/archives/gnome-shell-list/2011-June/msg00283.html

Additionally, enable/disable extensions when the 'enabled-extensions' setting
changes. Two new DBus methods, "EnableExtension" and "DisableExtension" allow
users to manipulate this setting quite easily.

https://bugzilla.gnome.org/show_bug.cgi?id=654770
 2011-08-24 13:58:22 -04:00
Jasper St. Pierre
7a8a00c705 extension-tool: Clean up code creator, update sample 
Update the sample to be more up to date with respect to Shell practices,
and make it look a bit prettier. Additionally, change the file extract
code so that it's easier to update and add new files later.

https://bugzilla.gnome.org/show_bug.cgi?id=653206
 2011-07-13 15:02:49 -04:00
Jasper St. Pierre
c8d5e0a51c extension-tool: Use socket.gethostname() instead of an external process 
Minor code cleanup.

https://bugzilla.gnome.org/show_bug.cgi?id=653206
 2011-07-13 15:02:46 -04:00
Colin Walters
3916b5973d gnome-shell.in: Move extension creation to gnome-shell-extension-tool 
https://bugzilla.gnome.org/show_bug.cgi?id=642084
 2011-03-01 09:49:44 -05:00