mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-07-25 07:51:12 +02:00
Code Issues Releases Wiki Activity

style active lines.

Browse Source
This commit is contained in:
Kushagra Gour
2017-02-05 17:13:22 +05:30
parent 24b3178574
commit f0978bf634
3 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/index.html
View File

@@ -392,6 +392,7 @@
<script src="lib/codemirror/addon/hint/xml-hint.js"></script>
<script src="lib/codemirror/addon/hint/html-hint.js"></script>
<script src="lib/codemirror/addon/hint/css-hint.js"></script>
<script src="lib/codemirror/addon/selection/active-line.js"></script>
<script src="lib/codemirror/mode/xml/xml.js"></script>
<script src="lib/codemirror/mode/javascript/javascript.js"></script>

1
src/script.js
View File

@@ -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 || '',

3
src/style.css
View File

@@ -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;*/
}