Mirror
/
programmingfonts
mirror of https://github.com/braver/programmingfonts.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add font test string

This commit is contained in:
Koen Lageveen 2017-01-05 23:37:07 +01:00
parent 6a9d4826be
commit 80cdb484b4
1 changed files with 22 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
index.html
View File

@ -279,30 +279,32 @@
<textarea id="code" name="code"> <textarea id="code" name="code">
# Type some code -> # Type some code ->
console.log "oO0 iIlL1 g9qCGQ";
function updateGutters(cm) { function updateGutters(cm) {
var gutters = cm.display.gutters, var gutters = cm.display.gutters,
specs = cm.options.gutters; specs = cm.options.gutters;
removeChildren(gutters); removeChildren(gutters);
for (var i = 0; i < specs.length; ++i) { for (var i = 0; i < specs.length; ++i) {
var gutterClass = specs[i]; var gutterClass = specs[i];
var gElt = gutters.appendChild( var gElt = gutters.appendChild(
elt( elt(
"div", "div",
null, null,
"CodeMirror-gutter " + gutterClass "CodeMirror-gutter " + gutterClass
) )
); );
if (gutterClass == "CodeMirror-linenumbers") { if (gutterClass == "CodeMirror-linenumbers") {
cm.display.lineGutter = gElt; cm.display.lineGutter = gElt;
gElt.style.width = (cm.display.lineNumWidth || 1) + "px"; gElt.style.width = (cm.display.lineNumWidth || 1) + "px";
} }
} }
gutters.style.display = i ? "" : "none"; gutters.style.display = i ? "" : "none";
updateGutterSpace(cm); updateGutterSpace(cm);
return false; return false;
} }
</textarea> </textarea>