|
|
@@ -50,6 +50,7 @@ div.full-size(
|
|
|
read-only="!permissions.write",
|
|
|
file-name="editor.open_doc_name",
|
|
|
on-ctrl-enter="recompileViaKey",
|
|
|
+ on-ctrl-j="toggleReviewPanel",
|
|
|
syntax-validation="settings.syntaxValidation",
|
|
|
review-panel="reviewPanel",
|
|
|
events-bridge="reviewPanelEventsBridge"
|