462                     this.feed_data_for_dispatch(value, oldval, i);

   462                     this.feed_data_for_dispatch(value, oldval, i);

   463                     break;

   463                     break;

   464                 }

   464                 }

   465             }

   465             }

   466         }

   466         }

   468         undeafen(index){

   468         undeafen(index){

   469             this.deafen[index] = undefined;

   469             this.deafen[index] = undefined;

   470             let [new_val, old_val] = this.incoming[index];

   470             let [new_val, old_val] = this.incoming[index];

   471             this.incoming[index] = undefined;

   471             this.incoming[index] = undefined;

   472             this.do_dispatch(new_val, old_val, index);

   473             this.do_dispatch(new_val, old_val, index);

   473         }

   474         }

   474 

   475 

   475         enable(enabled){

   476         enable(enabled){

   476             if(this.enable_state != enabled){

   477             if(this.enable_state != enabled){