equal
deleted
inserted
replaced
187 } |
187 } |
188 || |
188 || |
189 ]); |
189 ]); |
190 var persistent_indexes = new Map(); |
190 var persistent_indexes = new Map(); |
191 var cache = hmitree_types.map(_ignored => undefined); |
191 var cache = hmitree_types.map(_ignored => undefined); |
192 var updates = new Map(); |
|
193 |
192 |
194 function page_local_index(varname, pagename){ |
193 function page_local_index(varname, pagename){ |
195 let pagevars = hmi_locals[pagename]; |
194 let pagevars = hmi_locals[pagename]; |
196 let new_index; |
195 let new_index; |
197 if(pagevars == undefined){ |
196 if(pagevars == undefined){ |
207 pagevars[varname] = new_index; |
206 pagevars[varname] = new_index; |
208 } |
207 } |
209 let defaultval = local_defaults[varname]; |
208 let defaultval = local_defaults[varname]; |
210 if(defaultval != undefined) { |
209 if(defaultval != undefined) { |
211 cache[new_index] = defaultval; |
210 cache[new_index] = defaultval; |
212 updates.set(new_index, defaultval); |
|
213 if(persistent_locals.has(varname)) |
211 if(persistent_locals.has(varname)) |
214 persistent_indexes.set(new_index, varname); |
212 persistent_indexes.set(new_index, varname); |
215 } |
213 } |
216 return new_index; |
214 return new_index; |
217 } |
215 } |