|
|
@@ -24,7 +24,7 @@ div.full-size(
|
|
|
keybindings="settings.mode",
|
|
|
font-size="settings.fontSize",
|
|
|
auto-complete="settings.autoComplete",
|
|
|
- spell-check="true",
|
|
|
+ spell-check="!anonymous",
|
|
|
spell-check-language="project.spellCheckLanguage",
|
|
|
highlights="onlineUserCursorHighlights[editor.open_doc_id]"
|
|
|
show-print-margin="false",
|