gnome-shell/js/ui
Colin Walters cedab08018 Search executables as well
We want "gedit" to find GEdit, which doesn't contain its name in either
the name or description.

svn path=/trunk/; revision=85
2008-11-25 23:50:00 +00:00
..
appdisplay.js Search executables as well 2008-11-25 23:50:00 +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 a concept of "going modal" by grabbing the keyboard 2008-11-24 19:07:18 +00:00
overlay.js Add a concept of "going modal" by grabbing the keyboard 2008-11-24 19:07:18 +00:00
panel.js Add a bg-color property to ShellTrayManager 2008-11-24 19:07:15 +00:00
run_dialog.js Add a concept of "going modal" by grabbing the keyboard 2008-11-24 19:07:18 +00:00
windowmanager.js implement a basic switch_workspace animation using Tweener. #561835 2008-11-21 21:34:10 +00:00