gnome-shell/js
Florian Müllner fce2930b85 dnd: Don't queue an idle handler if we already have one
Removing an existing source before scheduling a new one is not wrong,
but slightly less effective than doing nothing and relying on the
previously created source to do the job.

https://bugzilla.gnome.org/show_bug.cgi?id=711555
2013-11-06 18:36:42 +01:00
..
extensionPrefs Synchronize shell startup 2013-11-04 11:50:20 -05:00
gdm loginDialog: Use UserWidget 2013-10-30 13:19:02 -04:00
misc Synchronize shell startup 2013-11-04 11:50:20 -05:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui dnd: Don't queue an idle handler if we already have one 2013-11-06 18:36:42 +01:00
js-resources.gresource.xml Load JS from GResource 2013-10-30 13:27:16 -04:00
Makefile.am build: Also look for resources in $(builddir) 2013-10-30 14:00:58 -04:00