|
|
|
@ -6791,7 +6791,7 @@
|
|
|
|
|
// is needed on Webkit to be able to get line-level bounding
|
|
|
|
|
// rectangles for it (in measureChar).
|
|
|
|
|
var content = elt("span", null, null, webkit ? "padding-right: .1px" : null);
|
|
|
|
|
var builder = {pre: elt("pre", [content]), content: content,
|
|
|
|
|
var builder = {pre: elt("pre", [content], "CodeMirror-line"), content: content,
|
|
|
|
|
col: 0, pos: 0, cm: cm,
|
|
|
|
|
splitSpaces: (ie || webkit) && cm.getOption("lineWrapping")};
|
|
|
|
|
lineView.measure = {};
|
|
|
|
@ -8729,7 +8729,7 @@
|
|
|
|
|
|
|
|
|
|
// THE END
|
|
|
|
|
|
|
|
|
|
CodeMirror.version = "5.3.1";
|
|
|
|
|
CodeMirror.version = "5.4.1";
|
|
|
|
|
|
|
|
|
|
return CodeMirror;
|
|
|
|
|
});
|