create headlines spacer with document.createElement()

1 files changed, 11 insertions, 2 deletions

diff --git a/js/viewfeed.js b/js/viewfeed.js
index ea4bd9659..1821c4853 100755
--- a/js/viewfeed.js
+++ b/js/viewfeed.js
@@ -643,7 +643,12 @@ const Headlines = {
 				}
 
 				let hsp = $("headlines-spacer");
-				if (!hsp) hsp = new Element("DIV", {"id": "headlines-spacer"});
+
+				if (!hsp) {
+					hsp = document.createElement("div");
+					hsp.id = "headlines-spacer";
+				}
+
 				dijit.byId('headlines-frame').domNode.appendChild(hsp);
 
 				this.initHeadlinesMenu();
@@ -681,7 +686,11 @@ const Headlines = {
 					}
 				}
 
-				if (!hsp) hsp = new Element("DIV", {"id": "headlines-spacer"});
+				if (!hsp) {
+					hsp = document.createElement("div");
+					hsp.id = "headlines-spacer";
+				}
+
 				c.domNode.appendChild(hsp);
 
 				/* console.log("restore selected ids: " + ids);