actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #819 from StefanieJaeger/css-comment 

Update comment in editor.js
This commit is contained in:
Dylan DPC 2019-04-28 23:56:13 +02:00 committed by GitHub
parent 357ebcf7ce 5151aae07e
commit 6eeaaaa44d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/theme/playpen_editor/editor.js
View File

@ -13,7 +13,7 @@ window.editors = [];
showLineNumbers: false, showLineNumbers: false,
showGutter: false, showGutter: false,
maxLines: Infinity, maxLines: Infinity,
fontSize: "0.875em" // please adjust the font size of the code in general.styl fontSize: "0.875em" // please adjust the font size of the code in general.css
}); });
editor.$blockScrolling = Infinity; editor.$blockScrolling = Infinity;