Skip to content
Snippets Groups Projects
Commit 4ed39b19 authored by Marijn Haverbeke's avatar Marijn Haverbeke
Browse files

[merge addon] Give space elements a CSS class

parent f8b8b245
No related branches found
No related tags found
No related merge requests found
......@@ -355,6 +355,7 @@
function padBelow(cm, line, size) {
var elt = document.createElement("div");
elt.className = "CodeMirror-merge-spacer";
elt.style.height = size + "px"; elt.style.minWidth = "1px";
return cm.addLineWidget(line, elt, {height: size});
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment