mirror of https://github.com/node-red/node-red.git
Remove print margin from library editor
parent
a4d48077ba
commit
1b2e442513
|
@ -243,6 +243,7 @@ RED.library = (function() {
|
|||
useWorker: false
|
||||
});
|
||||
libraryEditor.setTheme("ace/theme/tomorrow");
|
||||
libraryEditor.setShowPrintMargin(false);
|
||||
if (options.mode) {
|
||||
libraryEditor.getSession().setMode(options.mode);
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue