brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
12,492 Commits 180 Branches 237 Tags 70 MiB
6bc3300e5a
Commit Graph

13 Commits

Author SHA1 Message Date
Florian Müllner
c987d3d2c9 build: Support the meson build system 
Meson is on track to replace autotools as the build system of choice,
so support it in addition to autotools. If all goes well, we'll
eventually be able to drop the latter ...

https://bugzilla.gnome.org/show_bug.cgi?id=783229
 2017-07-20 00:20:54 +02:00
Jonh Wendell
2812afed22 gnome-shell-extension-tool: Add a reload option 
This might be a good fit for extension developers: With
this option one doesn't need to restart the whole Shell
in order to see their changes in effect.

https://bugzilla.gnome.org/show_bug.cgi?id=772593
 2016-10-28 15:41:32 -02:00
Slavek Kabrda
be3c3c64c1 Port gnome-shell to Python 3 
https://bugzilla.gnome.org/show_bug.cgi?id=732478
 2014-11-07 10:18:58 +01:00
Florian Müllner
e865db57e0 extension-tool: Fix multi-monitor handling in example extension 2014-07-05 11:22:46 +02:00
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