theme, keymap, linter settings