From 9f69ae1ef53f584fbbf9c2dd7eded37e17c38e1c Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Mon, 5 Sep 2016 09:37:49 +0100 Subject: [PATCH] Include runmode, hide scrollbar, use update now --- editor.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/editor.php b/editor.php index 8aadeed..3a0ecd0 100644 --- a/editor.php +++ b/editor.php @@ -27,6 +27,7 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint-2.5.6.min.js")) { + /addon/fold/foldgutter.css?microtime=">