source-editor.pug 157 B

1234
  1. source-editor#editor(
  2. ng-if="!editor.showRichText"
  3. ng-show="!!editor.sharejs_doc && !editor.opening && multiSelectedCount === 0 && !editor.error_state"
  4. )