Skip to content

Commit

Permalink
[merge addon] Give space elements a CSS class
Browse files Browse the repository at this point in the history
  • Loading branch information
marijnh committed Feb 15, 2015
1 parent f8b8b24 commit 4ed39b1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions addon/merge/merge.js
Original file line number Diff line number Diff line change
Expand Up @@ -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});
}
Expand Down

0 comments on commit 4ed39b1

Please sign in to comment.