Fix: useAceThemes() didn't include expanded themes
Fix: 'tomorrow' theme was duplicated; 'vibrant-ink' was misplaced
Merge pull request #3251 from ussuri/fix-bugs-in-theme-selection

Fix bugs in theme selection
Fix: menu wasn't opening on F10
Merge pull request #3252 from ussuri/fix-menu-on-f10

Fix: menu wasn't opening on F10
Merge remote-tracking branch 'origin/master' into sync-outline-font-size-with-editor