gnome-shell/js
Colin Walters 5f01854c62 Bug 578807 - Menu selection not reset on mouse selection
Clean up how we handle transitions a bit so that in the
case of selection by mouse instead of keynav we correctly
reset state.
2009-04-13 15:41:13 -04:00
..
ui Bug 578807 - Menu selection not reset on mouse selection 2009-04-13 15:41:13 -04:00
Makefile.am Make "make distcheck" work, and verify that we're disting all the javascript 2009-03-12 10:04:25 -04:00