From 27ef60cad607c833c06177f7ef22abbb57ea9d08 Mon Sep 17 00:00:00 2001 From: LianaHus Date: Tue, 9 Oct 2018 10:16:35 +0200 Subject: [PATCH] removed vertical margin --- src/app/editor/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index c18e1d9efb3..72394e70327 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -297,7 +297,7 @@ function Editor (opts = {}, localRegistry) { // Unmap ctrl-t & ctrl-f editor.commands.bindKeys({ 'ctrl-t': null }) - + editor.setShowPrintMargin(false) editor.resize(true) }