Correct editor theming