From edc6207ecde947dbdf776d121166a64074cd07fe Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 15 Jun 2018 09:30:34 +0200
Subject: [PATCH] group of elements contain information about number of
elements and compartment
---
frontend-js/src/main/js/gui/leftPanel/GuiUtils.js | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/frontend-js/src/main/js/gui/leftPanel/GuiUtils.js b/frontend-js/src/main/js/gui/leftPanel/GuiUtils.js
index f2743da842..b8815fc72e 100644
--- a/frontend-js/src/main/js/gui/leftPanel/GuiUtils.js
+++ b/frontend-js/src/main/js/gui/leftPanel/GuiUtils.js
@@ -5,6 +5,8 @@
var Alias = require('../../map/data/Alias');
var ConfigurationType = require('../../ConfigurationType');
var IdentifiedElement = require('../../map/data/IdentifiedElement');
+var SearchBioEntityGroup = require('../../map/data/SearchBioEntityGroup');
+
var GuiConnector = require('../../GuiConnector');
var AbstractGuiElement = require('../AbstractGuiElement');
@@ -601,6 +603,9 @@ GuiUtils.prototype.createAliasElement = function (params) {
if (alias.getLinkedSubmodelId() !== undefined) {
div.appendChild(self.createSubMapLink("Associated submap: ", alias.getLinkedSubmodelId()));
}
+ if (alias instanceof SearchBioEntityGroup && alias.getBioEntities().length > 1) {
+ div.appendChild(self.createLabelText("Group of " + alias.getBioEntities().length + " elements."));
+ }
if (showTitle) {
div.appendChild(self.createNewLine(3));
}
--
GitLab