svghmi/gen_index_xhtml.ysl2
branchsvghmi
changeset 2882 ac08a5d15c15
parent 2881 3bb49f93d48c
child 2883 8e3d130399b0
equal deleted inserted replaced
2881:3bb49f93d48c 2882:ac08a5d15c15
    79                 }
    79                 }
    80             }
    80             }
    81         }
    81         }
    82     }
    82     }
    83 
    83 
    84     /*
       
    85         Parses:
       
    86         "HMI:WidgetType:param1:param2@path1@path2"
       
    87 
       
    88         Into:
       
    89         widget type="WidgetType" {
       
    90             arg value="param1";
       
    91             arg value="param2";
       
    92             path value="path1";
       
    93             path value="path2";
       
    94         }
       
    95     */
       
    96 
       
    97 
       
    98     function "scripts"
    84     function "scripts"
    99     {
    85     {
   100         | //(function(){
    86         | //(function(){
   101         |
    87         |
   102         | id = idstr => document.getElementById(idstr);
    88         | id = idstr => document.getElementById(idstr);