##// END OF EJS Templates
Fixing CM3 style related issues....
Fixing CM3 style related issues. CM3 introduced a number of changes to how various paddings are set. Because of how we change the line-height we had to set these back to the CM2 values. What a pain!
Brian E. Granger -
r10423:f2bc0656
Show More
Name Size Modified Last Commit Author
/ ... / notebook / static / codemirror / lib / util
closetag.js Loading ...
dialog.css Loading ...
dialog.js Loading ...
foldcode.js Loading ...
formatting.js Loading ...
javascript-hint.js Loading ...
loadmode.js Loading ...
match-highlighter.js Loading ...
multiplex.js Loading ...
overlay.js Loading ...
pig-hint.js Loading ...
runmode.js Loading ...
search.js Loading ...
searchcursor.js Loading ...
simple-hint.css Loading ...
simple-hint.js Loading ...
xml-hint.js Loading ...