svghmi/svghmi.js
branchsvghmi
changeset 3125 1fb0c07bd97b
parent 3118 e704b0487515
child 3126 f45e413a0f40
equal deleted inserted replaced
3124:f263359d8108 3125:1fb0c07bd97b
   463     parent.removeChild(tmpgrp);
   463     parent.removeChild(tmpgrp);
   464 
   464 
   465     current_modal = undefined;
   465     current_modal = undefined;
   466 };
   466 };
   467 
   467 
   468 function widget_active_activable(eltsub) {
       
   469     if(eltsub.inactive_style === undefined)
       
   470         eltsub.inactive_style = eltsub.inactive.getAttribute("style");
       
   471     eltsub.inactive.setAttribute("style", "display:none");
       
   472     if(eltsub.active_style !== undefined)
       
   473             eltsub.active.setAttribute("style", eltsub.active_style);
       
   474 };
       
   475 function widget_inactive_activable(eltsub) {
       
   476     if(eltsub.active_style === undefined)
       
   477         eltsub.active_style = eltsub.active.getAttribute("style");
       
   478     eltsub.active.setAttribute("style", "display:none");
       
   479     if(eltsub.inactive_style !== undefined)
       
   480             eltsub.inactive.setAttribute("style", eltsub.inactive_style);
       
   481 };