r888888888 25db78f8c0 fix key shortcuts

2013-06-19 14:39:05 -07:00

..

javascripts

fix key shortcuts

2013-06-19 14:39:05 -07:00

stylesheets

fixes #1768, revert to jquery-ui 1.10.2

2013-06-19 13:17:06 -07:00