Minor clean ups
Add keyboard shortcut for the search box
fix a slowdown when opening files
add todo
Merge pull request #1028 from devoncarew/devoncarew_fix_slowdown

Devoncarew fix slowdown
Update services_impl.dart

TBR @umop, fix an analysis warning:

    The imported libraries 'services.dart' and 'services_impl.dart' should not have the same name 'spark.services'
Merge pull request #1033 from yjbanov/search-keyboard-shortcut

Add keyboard shortcut for the search box
Push UI - wip
Fix sticky menu selection

Selection emained after a menu item click and was shown on the next menu opening.

The main reason is a bug in Chrome that fails to remove the :hover style from an element when that element is clicked and programmatically moved out from under mouse in some way. In our case, the menu auto-closes on a click, so the item remained in the :hover state. A solution was to use own CSS class and switch it on/off on mouseover/mouseout events.
Merge branch 'upstream/master'
Merge branch 'origin/fix-stuck-menu-selection'
Coding style + move drop-down menu 1px up
Merge pull request #1039 from ussuri/small-fixes

Coding style + move drop-down menu 1px up
add light webserver for widget example
Close dialog when ESC is pressed
add VI temp file to top .gitignore
Merge pull request #1044 from sunglim/gitignore

add VI temp file to top .gitignore
Fix introduced CSS problems
Fix menu selection not working after dart2js
Make const a const