IDEX-530: fix typo mistake in build with option
IDEX-548: Improve markers for warnings/errors in right of editor
IDEX-538: Improve About window.
Fix theme loading, save current theme to local storage
Merge with master
Merge with master.
Merge with master