From 2586c3ac3aeea3d89b5b05e5629f612df292b84f Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 2 Nov 2018 11:42:17 +0100
Subject: [PATCH] map id renamed
---
frontend-js/src/main/js/gui/export/NetworkExportPanel.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/frontend-js/src/main/js/gui/export/NetworkExportPanel.js b/frontend-js/src/main/js/gui/export/NetworkExportPanel.js
index 33fb820973..b4c178bc10 100644
--- a/frontend-js/src/main/js/gui/export/NetworkExportPanel.js
+++ b/frontend-js/src/main/js/gui/export/NetworkExportPanel.js
@@ -95,7 +95,7 @@ NetworkExportPanel.prototype.getAllColumns = function () {
}, {
"columnName": "modelId",
"method": "getModelId",
- "name": "Model"
+ "name": "Map id"
}, {
"columnName": "type",
"method": "getType",
--
GitLab