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