From 7e250be66dcddb0d906af4b607caf529555e1a63 Mon Sep 17 00:00:00 2001 From: James Allen Date: Thu, 3 May 2018 17:04:49 +0100 Subject: [PATCH] Update font and line spacing in Ace to match OL v1 --- .../web/public/coffee/ide/editor/directives/aceEditor.coffee | 3 +++ 1 file changed, 3 insertions(+) diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee index fd6a8224e4..97fca8a359 100644 --- a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee +++ b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee @@ -81,6 +81,9 @@ define [ editor = ace.edit(element.find(".ace-editor-body")[0]) editor.$blockScrolling = Infinity + editor.container.style.lineHeight = 1.6 + editor.setOption('fontFamily', '"Lucida Console", monospace') + # auto-insertion of braces, brackets, dollars editor.setOption('behavioursEnabled', scope.autoPairDelimiters || false) editor.setOption('wrapBehavioursEnabled', false)