Rename flag for clarity

2026-05-27 11:01:56 +02:00 · 2018-05-25 13:48:35 +01:00
parent c6d2b4f1e7
commit d0b160d9a2
2 changed files with 2 additions and 2 deletions
--- a/services/web/app/views/project/editor/editor.pug
+++ b/services/web/app/views/project/editor/editor.pug
@@ -37,7 +37,7 @@ div.full-size(

 		#editor(
 			ace-editor="editor",
-			ng-if="!editor.richText",
+			ng-if="!editor.showRichText",
 			ng-show="!!editor.sharejs_doc && !editor.opening",
 			style=showRichText ? "top: 32px" : "",
 			theme="settings.theme",
--- a/services/web/public/coffee/ide/editor/EditorManager.coffee
+++ b/services/web/public/coffee/ide/editor/EditorManager.coffee
@@ -14,7 +14,7 @@ define [
 				opening: true
 				trackChanges: false
 				wantTrackChanges: false
-				richText: false
+				showRichText: false
 			}

 			@$scope.$on "entity:selected", (event, entity) =>