63     |   })`if "position()!=last()" > ,`

    63     |   })`if "position()!=last()" > ,`

    64 }

    64 }

    65 

    65 

    66 emit "preamble:local-variable-indexes" {

    66 emit "preamble:local-variable-indexes" {

    67     ||

    67     ||

    68     let hmi_locals = {};

    69     let hmi_locals = {};

    69     var last_remote_index = hmitree_types.length - 1;

    70     var last_remote_index = hmitree_types.length - 1;

    70     var next_available_index = hmitree_types.length;

    71     var next_available_index = hmitree_types.length;

    71     let cookies = new Map(document.cookie.split("; ").map(s=>s.split("=")));

    72     let cookies = new Map(document.cookie.split("; ").map(s=>s.split("=")));

    72 

    73 

    93     }

    94     }

    94     ||

    95     ||

    95     ]);

    96     ]);

    96     var persistent_indexes = new Map();

    97     var persistent_indexes = new Map();

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

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

    98 

   100 

    99     function page_local_index(varname, pagename){

   101     function page_local_index(varname, pagename){

   100         let pagevars = hmi_locals[pagename];

   102         let pagevars = hmi_locals[pagename];

   101         let new_index;

   103         let new_index;

   102         if(pagevars == undefined){

   104         if(pagevars == undefined){

   153         unsub(){

   155         unsub(){

   154             /* remove subsribers */

   156             /* remove subsribers */

   155             if(!this.unsubscribable)

   157             if(!this.unsubscribable)

   156                 for(let i = 0; i < this.indexes.length; i++) {

   158                 for(let i = 0; i < this.indexes.length; i++) {

   157                     /* flush updates pending because of inhibition */

   159                     /* flush updates pending because of inhibition */

   159                     if(inhibition != undefined){

   161                     if(inhibition != undefined){

   160                         clearTimeout(inhibition);

   162                         clearTimeout(inhibition);

   163                     }

   165                     }

   164                     let index = this.indexes[i];

   166                     let index = this.indexes[i];

   165                     if(this.relativeness[i])

   167                     if(this.relativeness[i])

   166                         index += this.offset;

   168                         index += this.offset;

   167                     subscribers(index).delete(this);

   169                     subscribers(index).delete(this);