1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Remove print margin from ace editor

This commit is contained in:
Kazuhito Yokoi 2019-09-13 14:42:45 +09:00
parent 901e2527d8
commit a4d48077ba

View File

@ -2425,6 +2425,7 @@ RED.editor = (function() {
el = $("<div>").appendTo(el).addClass("red-ui-editor-text-container")[0];
var editor = ace.edit(el);
editor.setTheme("ace/theme/tomorrow");
editor.setShowPrintMargin(false);
var session = editor.getSession();
session.on("changeAnnotation", function () {
var annotations = session.getAnnotations() || [];