Merge branch 'master' of https://github.com/Yakindu/statecharts.git

plugins/org.yakindu.sct.doc.user/js/yakindu.js

@@ -1,5 +1,6 @@
 function copyPermalinkToClipboard(event, element) {
 	event.preventDefault();
+    event.stopPropagation();
     var origin = (window.location.origin != 'null') ? window.location.origin : window.location.href;
     var permalink = origin + window.location.pathname + '#' + jQuery(element).parent().attr('id');