Skip to content
Snippets Groups Projects
Commit fe5b4ada authored by Franco Pariani's avatar Franco Pariani
Browse files

New changes in css

parent 2f7e42a6
No related branches found
No related tags found
No related merge requests found
...@@ -27,7 +27,7 @@ ...@@ -27,7 +27,7 @@
const hintWords = require('./hint_words'); const hintWords = require('./hint_words');
var HINT_ELEMENT_CLASS = "CodeMirror-hint"; var HINT_ELEMENT_CLASS = "CodeMirror-function-definition";
var mac = /Mac/.test(navigator.platform); var mac = /Mac/.test(navigator.platform);
function parseOptions(cm, pos, options) { function parseOptions(cm, pos, options) {
...@@ -205,6 +205,7 @@ ...@@ -205,6 +205,7 @@
elt.className = className; elt.className = className;
if (cur.render) cur.render(elt, data, cur); if (cur.render) cur.render(elt, data, cur);
else { else {
elt.appendChild(ownerDocument.createTextNode("Function typing \n\n"));
var rexp_name = new RegExp(/(.*\:\:)(.*)/.source, "g"); var rexp_name = new RegExp(/(.*\:\:)(.*)/.source, "g");
var m = rexp_name.exec(cur.displayText || getText(cur)); var m = rexp_name.exec(cur.displayText || getText(cur));
var b_elem = ownerDocument.createElement("b"); var b_elem = ownerDocument.createElement("b");
......
...@@ -9,7 +9,7 @@ ...@@ -9,7 +9,7 @@
box-shadow: 2px 3px 5px rgba(0,0,0,.2); box-shadow: 2px 3px 5px rgba(0,0,0,.2);
border-radius: 3px; border-radius: 3px;
border: 1px solid rgb(43, 43, 43) !important; border: 1px solid rgb(43, 43, 43) !important;
background: black !important; background: rgb(43, 43, 43) !important;
font-size: 90%; font-size: 90%;
font-family: monospace; font-family: monospace;
...@@ -24,9 +24,18 @@ ...@@ -24,9 +24,18 @@
white-space: pre; white-space: pre;
color: white !important; color: white !important;
cursor: pointer; cursor: pointer;
}
.CodeMirror-function-definition {
margin: 5px;
padding: 0 4px;
border-radius: 2px;
white-space: pre;
color: white !important;
cursor: default;
} }
li.CodeMirror-hint-active { li.CodeMirror-hint-active {
background: rgb(21, 117, 226) !important; background: rgb(21, 117, 226) !important;
color: white; color: white;
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment