3d152f9c17
mutter_plugin_get_windows() returns NULL at plugin-initialization time, so we have to wait until idle time to figure out which workspaces are being used and remove the unused ones. http://bugzilla.gnome.org/show_bug.cgi?id=571091 |
||
---|---|---|
.. | ||
appDisplay.js | ||
button.js | ||
dnd.js | ||
docDisplay.js | ||
genericDisplay.js | ||
main.js | ||
overlay.js | ||
panel.js | ||
runDialog.js | ||
tweener.js | ||
windowManager.js | ||
workspaces.js |