From 74f048e812e997638d8c5b3f3edca8f1ecc14fc5 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 7 Sep 2016 00:01:34 +0100
Subject: [PATCH] Simple scrollbars addon added and overlay used

---
 editor.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/editor.php b/editor.php
index 3a0ecd0..c7de4d8 100644
--- a/editor.php
+++ b/editor.php
@@ -28,7 +28,9 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint-2.5.6.min.js")) {
 <script src="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldcode.js?microtime=<?php echo microtime(true);?>"></script>
 <script src="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldgutter.js?microtime=<?php echo microtime(true);?>"></script>
 <script src="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/runmode.js?microtime=<?php echo microtime(true);?>"></script>
+<script src="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/scroll/simplescrollbars.js?microtime=<?php echo microtime(true);?>"></script>
 <link rel="stylesheet" href="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldgutter.css?microtime=<?php echo microtime(true);?>">
+<link rel="stylesheet" href="<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/scroll/simplescrollbars.css?microtime=<?php echo microtime(true);?>">
 <?php
 if (file_exists(dirname(__FILE__)."/plugins/emmet/emmet.min.js")) {
 	echo '<script src="plugins/emmet/emmet.min.js?microtime='.microtime(true).'"></script>';
@@ -242,7 +244,7 @@ function createNewCMInstance(num) {
 		autoCloseTags: top.ICEcoder.autoCloseTags,
 		autoCloseBrackets: top.ICEcoder.autoCloseBrackets,
 		highlightSelectionMatches: true,
-		scrollbarStyle: null,
+		scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay'
 		showTrailingSpace: top.ICEcoder.showTrailingSpace,
 		lint: false,
 		keyMap: "ICEcoder"