From e40132abfe1faec9b6613bed1cab3a80d17b9e90 Mon Sep 17 00:00:00 2001 From: mattpass Date: Sat, 14 Mar 2020 07:25:14 +0000 Subject: [PATCH] Scrollbar style now customisable --- editor.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/editor.php b/editor.php index 49aa81d..d75b030 100644 --- a/editor.php +++ b/editor.php @@ -218,7 +218,7 @@ function createNewCMInstance(num) { autoCloseTags: parent.ICEcoder.autoCloseTags, autoCloseBrackets: parent.ICEcoder.autoCloseBrackets, highlightSelectionMatches: true, - scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay' + scrollbarStyle: parent.ICEcoder.scrollbarStyle, showTrailingSpace: parent.ICEcoder.showTrailingSpace, lint: false, keyMap: "ICEcoder"