From f0978bf634d9fc9fd580c9e56f6a0194768144c9 Mon Sep 17 00:00:00 2001 From: Kushagra Gour Date: Sun, 5 Feb 2017 17:13:22 +0530 Subject: [PATCH] style active lines. --- src/index.html | 1 + src/script.js | 1 + src/style.css | 3 +++ 3 files changed, 5 insertions(+) diff --git a/src/index.html b/src/index.html index a18095e..91e2356 100644 --- a/src/index.html +++ b/src/index.html @@ -392,6 +392,7 @@ + diff --git a/src/script.js b/src/script.js index a1e8de5..7b9d6b1 100644 --- a/src/script.js +++ b/src/script.js @@ -757,6 +757,7 @@ settingsBtn, onboardModal, notificationsBtn, onboardShowInTabOptionBtn, onboardD theme: 'monokai', lint: !!options.lint, foldGutter: true, + styleActiveLine: true, gutters: options.gutters || [], // cursorScrollMargin: '20', has issue with scrolling profile: options.profile || '', diff --git a/src/style.css b/src/style.css index f47a7b0..a37f193 100644 --- a/src/style.css +++ b/src/style.css @@ -211,6 +211,9 @@ select, input[type="text"], textarea { .cm-s-monokai .CodeMirror-guttermarker-subtle { opacity: 0.4; } +.CodeMirror-activeline-background, .CodeMirror-activeline-gutter { + background: rgba(0,0,0,0.1) !important; +} .CodeMirror-guttermarker-subtle { /*visibility: hidden !important;*/ }