From cd405d1df9a0be4c0c622b40a2cdb804065d1f9a Mon Sep 17 00:00:00 2001 From: Gediminas Petrikas Date: Sun, 25 Mar 2018 14:55:33 +0300 Subject: [PATCH] Add cursor pointer when hovering fold gutter --- browser/main/global.styl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/browser/main/global.styl b/browser/main/global.styl index 8d0e3e37..613c7611 100644 --- a/browser/main/global.styl +++ b/browser/main/global.styl @@ -114,10 +114,9 @@ body[data-theme="dark"] .CodeMirror-foldgutter width: .7em -//.CodeMirror-foldgutter-open, -//.CodeMirror-foldgutter-folded -// color: #555 -// cursor: pointer +.CodeMirror-foldgutter-open, +.CodeMirror-foldgutter-folded + cursor: pointer .CodeMirror-foldgutter-open:after content: "\25BE"