94     }

    94     }

    95     ||

    95     ||

    96     ]);

    96     ]);

    97     var persistent_indexes = new Map();

    97     var persistent_indexes = new Map();

    98     var cache = hmitree_types.map(_ignored => undefined);

    98     var cache = hmitree_types.map(_ignored => undefined);

   100 

   100 

   101     function page_local_index(varname, pagename){

   101     function page_local_index(varname, pagename){

   102         let pagevars = hmi_locals[pagename];

   102         let pagevars = hmi_locals[pagename];

   103         let new_index;

   103         let new_index;

   104         if(pagevars == undefined){

   104         if(pagevars == undefined){

   114             pagevars[varname] = new_index;

   114             pagevars[varname] = new_index;

   115         }

   115         }

   116         let defaultval = local_defaults[varname];

   116         let defaultval = local_defaults[varname];

   117         if(defaultval != undefined) {

   117         if(defaultval != undefined) {

   118             cache[new_index] = defaultval; 

   118             cache[new_index] = defaultval; 

   120             if(persistent_locals.has(varname))

   120             if(persistent_locals.has(varname))

   121                 persistent_indexes.set(new_index, varname);

   121                 persistent_indexes.set(new_index, varname);

   122         }

   122         }

   123         return new_index;

   123         return new_index;

   124     }

   124     }