\r
try {\r
diagram = (IDiagram)mapping.map(g, getInputResource());\r
+ for(IElement element : diagram.getElements())\r
+ element.addListener(elementUpdateListener);\r
} catch (MappingException e) {\r
// TODO Auto-generated catch block\r
e.printStackTrace();\r
}\r
else if(event.key.equals("Enter")) {\r
validateNewName();\r
- update();\r
+ update(); \r
editor.removeAction(this);\r
+ editor.requestRepaint();\r
}\r
return true;\r
}\r
validateNewName();\r
update();\r
editor.removeAction(this);\r
+ editor.requestRepaint();\r
}\r
return false;\r
}\r
TextElement t = (TextElement) e;\r
if(t != TextElement.this && t.label.equals(textNode.getText())) {\r
label = oldText;\r
- update();\r
- editor.requestRepaint(); \r
+ //update();\r
+ //editor.requestRepaint(); \r
}\r
}\r
}\r