gnome-shell/js
Stefano Facchini 138b8cf874 xdndHandler: prevent dummy actor from interfering with Hot Corner
Since the dummy actor occupies exactly the same area of the Hot Corner,
it can be erroneously picked during xdnd operations. Fix this by
hiding it from pick.

https://bugzilla.gnome.org/show_bug.cgi?id=669831
2012-02-10 21:16:16 +01:00
..
extensionPrefs Fixed typo in string 2012-02-09 10:10:18 +01:00
gdm Fix some fallout from background-size addition 2012-01-10 21:50:21 +01:00
misc extensionUtils: Create and allow access to a new "extension" object 2012-02-07 16:00:37 -05:00
perf *.js: Make emacs modelines consistent 2011-10-11 08:05:12 -04:00
ui xdndHandler: prevent dummy actor from interfering with Hot Corner 2012-02-10 21:16:16 +01:00
Makefile.am Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions 2012-02-07 16:00:37 -05:00