From 2cd23e344cd46318935ca3eb8bdbe06e277131c2 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Sat, 1 Dec 2018 22:16:08 +0300
Subject: [PATCH] create headlines spacer with document.createElement()

---
 js/viewfeed.js | 13 +++++++++++--
 1 file 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);