evazion d731ec4393 Fix #3673: Autocomplete: hide menu after hitting space.

2018-04-27 13:24:23 -05:00

..

javascripts

Fix #3673: Autocomplete: hide menu after hitting space.

2018-04-27 13:24:23 -05:00

stylesheets

jquery-ui: fix font color in notice boxes (#3671).

2018-04-26 23:28:00 -05:00