element title option didn't hide title

CHANGELOG

@@ -3,6 +3,8 @@ minerva (13.2.0) stable; urgency=medium
     PredictProtein (#913)
   * Bug fix: search by drugs didn't check synonyms in chembl database 
   * Bug fix: verification of overlay type added (#917) 
+  * Bug fix: show element title option wasn't influencing title visibility
+    (#910)
 
  -- Piotr Gawron <piotr.gawron@uni.lu>  Wed, 21 Aug 2019 17:00:00 +0200
 

frontend-js/src/main/js/gui/leftPanel/GuiUtils.js

@@ -835,9 +835,17 @@ GuiUtils.prototype.createAliasElement = function (params) {
       }));
     }
 
-    div.appendChild(this.createParamLine({label: alias.getType() + ": ", value: alias.getName()}));
+    div.appendChild(this.createParamLine({
+      label: alias.getType() + ": ",
+      className: self._configurationOptionToClassName(ConfigurationType.SHOW_ELEMENT_TITLE),
+      value: alias.getName()
+    }));
     if (alias.getModelId() !== self.getMap().getId()) {
-      div.appendChild(self.createSubMapLink({label: "In submap: ", mapId: alias.getModelId()}));
+      div.appendChild(self.createSubMapLink({
+        label: "In submap: ",
+        className: self._configurationOptionToClassName(ConfigurationType.SHOW_ELEMENT_TITLE),
+        mapId: alias.getModelId()
+      }));
     }
   }
   div.appendChild(self.createSubMapLink({