Bring back editor toolbar
@@ -33,6 +33,8 @@ div.full-size(
i.fa.fa-arrow-left
| #{translate("open_a_file_on_the_left")}
+ != moduleIncludes('editor:toolbar', locals)
+
#editor(
ace-editor="editor",
ng-if="!editor.richText",