element.removeSynonym(synonym);
} else {
-
+//TODO: this should be moved to the handler, the operations should not contain ui code
DeleteResult result = service.deleteSynonym(synonym.getUuid(), element.getUuid(), null);
if (result.isError()){
DeleteResultMessagingUtils.messageDialogWithDetails(result, "Delete failed", TaxeditorEditorPlugin.PLUGIN_ID);