CalvinBackup/anonymous_github
1
0
Fork 0
mirror of https://github.com/tdurieux/anonymous_github.git synced 2026-05-29 12:11:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

hide cursor in ace

Browse Source
This commit is contained in:
tdurieux
2021-04-06 18:17:47 +02:00
parent 19bd0702df
commit d87bd8276f
3 changed files with 14 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
public/css/style.css
+5 -1
View File
@@ -141,7 +141,7 @@ a.black_border:hover {
.files { .files {
position: relative; position: relative;
display: block; display: block;
overflow: scroll; overflow: auto;
height: 100%; height: 100%;
} }
@@ -324,3 +324,7 @@ loc .lang {
line-height: 140px; line-height: 140px;
text-align: center; text-align: center;
} }
.ace_scroller {
cursor: default;
}
public/explore.html
+1 -1
View File
@@ -43,7 +43,7 @@
<div class="leftCol shadow p-1 h-100 overflow-auto" ng-show="files"> <div class="leftCol shadow p-1 h-100 overflow-auto" ng-show="files">
<tree class="files" file="files"></tree> <tree class="files" file="files"></tree>
</div> </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"> <nav aria-label="breadcrumb">
<ol class="breadcrumb shadow paths"> <ol class="breadcrumb shadow paths">
<li class="breadcrumb-item" ng-repeat="p in paths" ng-bind="p"> <li class="breadcrumb-item" ng-repeat="p in paths" ng-bind="p">
public/script/exploreApp.js
+8 -2
View File
@@ -377,11 +377,13 @@ angular
fontSize: 15, fontSize: 15,
keyBinding: "vscode", keyBinding: "vscode",
fullLineSelection: true, fullLineSelection: true,
highlightActiveLine: true, highlightActiveLine: false,
highlightGutterLine: false,
cursor: "hide",
showInvisibles: false, showInvisibles: false,
showIndentGuides: true, showIndentGuides: true,
showPrintMargin: false, showPrintMargin: false,
highlightSelectedWord: true, highlightSelectedWord: false,
enableBehaviours: true, enableBehaviours: true,
fadeFoldWidgets: false, fadeFoldWidgets: false,
mode: getMode(extension), mode: getMode(extension),
@@ -395,6 +397,10 @@ angular
); );
_editor.setOption("displayIndentGuides", true); _editor.setOption("displayIndentGuides", true);
_editor.setHighlightActiveLine($scope.aceOption.highlightActiveLine); _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.setShowInvisibles($scope.aceOption.showInvisibles);
_editor.setDisplayIndentGuides($scope.aceOption.showIndentGuides); _editor.setDisplayIndentGuides($scope.aceOption.showIndentGuides);