From d87bd8276fad8b15da032ee5443c1665ee6630de Mon Sep 17 00:00:00 2001
From: tdurieux <durieuxthomas@hotmail.com>
Date: Tue, 6 Apr 2021 18:17:47 +0200
Subject: [PATCH] hide cursor in ace

---
 public/css/style.css        |  6 +++++-
 public/explore.html         |  2 +-
 public/script/exploreApp.js | 10 ++++++++--
 3 files changed, 14 insertions(+), 4 deletions(-)

diff --git a/public/css/style.css b/public/css/style.css
index f72ea9a..11cfa17 100644
--- a/public/css/style.css
+++ b/public/css/style.css
@@ -141,7 +141,7 @@ a.black_border:hover {
 .files {
   position: relative;
   display: block;
-  overflow: scroll;
+  overflow: auto;
   height: 100%;
 }
 
@@ -324,3 +324,7 @@ loc .lang {
   line-height: 140px;
   text-align: center;
 }
+
+.ace_scroller {
+  cursor: default;
+}
diff --git a/public/explore.html b/public/explore.html
index f018442..1c8c28e 100644
--- a/public/explore.html
+++ b/public/explore.html
@@ -43,7 +43,7 @@
           <div class="leftCol shadow p-1 h-100 overflow-auto" ng-show="files">
             <tree class="files" file="files"></tree>
           </div>
-          <div class="col p-0 h-100 d-flex flex-column">
+          <div class="col p-0 h-100 d-flex flex-column w-100 overflow-auto">
             <nav aria-label="breadcrumb">
               <ol class="breadcrumb shadow paths">
                 <li class="breadcrumb-item" ng-repeat="p in paths" ng-bind="p">
diff --git a/public/script/exploreApp.js b/public/script/exploreApp.js
index 1e7d6dd..e2784a0 100644
--- a/public/script/exploreApp.js
+++ b/public/script/exploreApp.js
@@ -377,11 +377,13 @@ angular
       fontSize: 15,
       keyBinding: "vscode",
       fullLineSelection: true,
-      highlightActiveLine: true,
+      highlightActiveLine: false,
+      highlightGutterLine: false,
+      cursor: "hide",
       showInvisibles: false,
       showIndentGuides: true,
       showPrintMargin: false,
-      highlightSelectedWord: true,
+      highlightSelectedWord: false,
       enableBehaviours: true,
       fadeFoldWidgets: false,
       mode: getMode(extension),
@@ -395,6 +397,10 @@ angular
         );
         _editor.setOption("displayIndentGuides", true);
         _editor.setHighlightActiveLine($scope.aceOption.highlightActiveLine);
+        if ($scope.aceOption.cursor == "hide") {
+          _editor.renderer.$cursorLayer.element.style.display = "none";
+        }
+        _editor.setHighlightGutterLine($scope.aceOption.highlightGutterLine);
         _editor.setShowInvisibles($scope.aceOption.showInvisibles);
         _editor.setDisplayIndentGuides($scope.aceOption.showIndentGuides);