From 1319c7dc00bc384e7e875e4a549b8b8d9532c7a8 Mon Sep 17 00:00:00 2001 From: Piotr Gawron <piotr.gawron@uni.lu> Date: Tue, 1 Aug 2017 10:21:49 +0200 Subject: [PATCH] model renamed to map --- frontend-js/src/main/js/gui/ContextMenu.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend-js/src/main/js/gui/ContextMenu.js b/frontend-js/src/main/js/gui/ContextMenu.js index 80d2ed8064..420598dfe7 100644 --- a/frontend-js/src/main/js/gui/ContextMenu.js +++ b/frontend-js/src/main/js/gui/ContextMenu.js @@ -129,7 +129,7 @@ ContextMenu.prototype.createExportAsModelSubmenu = function() { }); var submenu = new SubMenu({ element : li, - name : "Export as model", + name : "Export as map", customMap : self.getMap() }); -- GitLab