From 4ed39b19aff2997f75de1a3f408d1efe77473f9f Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Sun, 15 Feb 2015 14:15:07 +0100
Subject: [PATCH] [merge addon] Give space elements a CSS class

---
 addon/merge/merge.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/addon/merge/merge.js b/addon/merge/merge.js
index 3e9df42fb7..1d0a34636b 100644
--- a/addon/merge/merge.js
+++ b/addon/merge/merge.js
@@ -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});
   }