Dan Winship 19671ad349 implement a basic switch_workspace animation using Tweener. #561835 ... svn path=/trunk/; revision=78		2008-11-21 21:34:10 +00:00
..
appdisplay.js	Fix app event handling	2008-11-21 20:45:35 +00:00
button.js	Make sure we include staysPressed in the list of arguments to the Button object	2008-11-19 19:25:51 +00:00
main.js	add the initial framework of a window management interface. #561724	2008-11-21 14:02:09 +00:00
overlay.js	Use _deactivate rather than hide so we correctly reset input area	2008-11-21 20:45:33 +00:00
panel.js	fix import ordering	2008-11-21 13:54:25 +00:00
run_dialog.js	Convert run dialog to gjs signals	2008-11-20 15:40:44 +00:00
windowmanager.js	implement a basic switch_workspace animation using Tweener. #561835	2008-11-21 21:34:10 +00:00