theme.js in cpee-1.4.11

- old
+ new

@@ -66,10 +66,11 @@
         var schema = save['endpoints_cache'][$(node).attr('endpoint')].schema.documentElement;
         $(rng).find(' > element[name="parameters"] > element[name="arguments"]').replaceWith($(schema).clone());
       }
       save['details'] = new RelaxNGui(rng,tab,self.adaptor.description.context_eval);
       save['details'].content(node);
+      format_visual_forms();
     }
   }; //}}}
 
   function copyOrMove(menu,group,xml_node,mode) { //{{{
     var markymark = self.marked();
@@ -115,10 +116,12 @@
   // Events
   this.events.mousedown = function(svgid, e, child, sibling) { // {{{
     if(e.button == 0) {  // left-click
     } else if(e.button == 1) { // middle-click
     } else if(e.button == 2) { // right-click
+      if (save['state'] != "ready" && save['state'] != "stopped") { return false; }
+
       var xml_node = self.adaptor.description.get_node_by_svg_id(svgid);
       var group = null;
       var menu = {};
 
       if (child) {
@@ -168,9 +171,10 @@
     }
 
     self.adaptor.illustrator.get_elements().removeClass('clicked');
 
     if (e && e.ctrlKey) {
+      if (save['state'] != "ready" && save['state'] != "stopped") { return false; }
       var tab = $('#dat_details');
           tab.empty();
       var vtarget = self.adaptor.illustrator.get_node_by_svg_id(svgid);
       if (vtarget.length > 0) {
         vtarget.parents('g.element[element-id]').toggleClass('marked');