if map has SHOW OVERVIEW, the legend/comment/clear were not displayed at all

CHANGELOG

@@ -3,6 +3,8 @@ minerva (14.0.6) stable; urgency=medium
     provides proper error message (#1046)
   * Bug fix: search by identifier didn't consider identifiers added by
     annotators (#1047)
+  * Bug fix: if map has SHOW OVERVIEW, the legend/comment/clear were not
+    displayed at all (regresion 14.0.5, #1045)
 
  -- Piotr Gawron <piotr.gawron@uni.lu>  Wed, 18 Dec 2019 12:00:00 +0200
 

frontend-js/src/main/css/global.css

@@ -620,6 +620,10 @@ Plugin tabs
     float: left;
 }
 
+.minerva-overview-div {
+    display: inline;
+}
+
 .minerva-overview-button {
     color: #FFFFFF;
     height: 36px;

frontend-js/src/main/js/gui/topMenu/TopMenu.js

@@ -89,7 +89,7 @@ TopMenu.prototype._createGui = function () {
     style: "display:none;"
   }));
 
-  var showOverviewDiv = Functions.createElement({type: "div"});
+  var showOverviewDiv = Functions.createElement({type: "div", className:"minerva-overview-div"});
   self.getElement().appendChild(showOverviewDiv);
 
   var showOverviewButton = Functions.createElement({