From af3e76f853e036451e3d3f50db1e8c4d7cbd084b Mon Sep 17 00:00:00 2001
From: mattpass <matt@helical-levity.com>
Date: Sun, 8 Mar 2020 10:38:23 +0000
Subject: [PATCH] Display simple scrollbars on preview

---
 lib/settings-screen.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index e85378c..2619e1c 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -35,6 +35,7 @@ for ($i=0;$i<count($themeArray);$i++) {
 	echo '<link rel="stylesheet" href="../'.$ICEcoder["codeMirrorDir"].'/theme/'.$themeArray[$i].'.css?microtime='.microtime(true).'">'.PHP_EOL;
 }
 ?>
+<link rel="stylesheet" href="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/scroll/simplescrollbars.css?microtime=<?php echo microtime(true);?>">
 </head>
 
 <body class="settings">
@@ -361,7 +362,8 @@ var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
 	indentUnit: parent.parent.ICEcoder.indentSize,
 	tabSize: parent.parent.ICEcoder.indentSize,
 	mode: "javascript",
-	theme: "<?php echo $ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"];?>"
+	theme: "<?php echo $ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"];?>",
+    scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay'
 	});
 
 var input = document.getElementById("select");
