##// END OF EJS Templates
cleanup some `pre` css inheritance...
cleanup some `pre` css inheritance We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag, and then some overrides of our overrides when we wanted something slightly different. This moves the most basic overrides to apply to all pre tags, reducing the number of downstream changes we need.

File last commit:

r12103:dc60758c
r16205:2fd8ab24
Show More
codemirror-ipython.js
17 lines | 655 B | application/javascript | JavascriptLexer
// IPython mode is just a slightly altered Python Mode with `?` beeing a extra
// single operator. Here we define `ipython` mode in the require `python`
// callback to auto-load python mode, which is more likely not the best things
// to do, but at least the simple one for now.
CodeMirror.requireMode('python',function(){
"use strict";
CodeMirror.defineMode("ipython", function(conf, parserConf) {
parserConf.singleOperators = new RegExp("^[\\+\\-\\*/%&|\\^~<>!\\?]");
parserConf.name = 'python'
return CodeMirror.getMode(conf, parserConf);
}, 'python');
CodeMirror.defineMIME("text/x-ipython", "ipython");
})