Feature: refactoring local variables based on syntax tree (experimental)
Incremental search: accept standard shortcut Ctrl-G/Command-G to navigate to next match.
Menu styling: menu drop down should be a bit wider.