2014-06-26 11:39:52 -04:00
|
|
|
div.full-size(ng-show="ui.view == 'editor'")
|
2014-06-27 07:45:37 -04:00
|
|
|
.loading-panel(ng-show="!editor.sharejs_doc || editor.opening")
|
2014-06-26 11:39:52 -04:00
|
|
|
i.fa.fa-spin.fa-refresh
|
|
|
|
|
| Loading...
|
|
|
|
|
|
|
|
|
|
#editor(
|
|
|
|
|
ace-editor,
|
|
|
|
|
ng-show="!!editor.sharejs_doc && !editor.opening"
|
|
|
|
|
theme="settings.theme",
|
|
|
|
|
keybindings="settings.mode",
|
|
|
|
|
font-size="settings.fontSize",
|
|
|
|
|
auto-complete="settings.autoComplete",
|
|
|
|
|
spell-check-language="project.spellCheckLanguage",
|
|
|
|
|
annotations="onlineUserCursorAnnotations[editor.open_doc_id]"
|
|
|
|
|
show-print-margin="false",
|
|
|
|
|
sharejs-doc="editor.sharejs_doc",
|
|
|
|
|
last-updated="editor.last_updated",
|
|
|
|
|
cursor-position="editor.cursorPosition"
|
|
|
|
|
)
|
