293             b.y.baseVal.value = m.y;

   293             b.y.baseVal.value = m.y;

   294             b.width.baseVal.value = m.width;

   294             b.width.baseVal.value = m.width;

   295             b.height.baseVal.value = m.height;

   295             b.height.baseVal.value = m.height;

   296         }

   296         }

   297         highlight_selection(){

   297         highlight_selection(){

   298             let highlighted_row = this.last_selection - this.menu_offset;

   299             let highlighted_row = this.last_selection - this.menu_offset;

   299             if(highlighted_row < 0) return;

   300             if(highlighted_row < 0) return;

   300             let spans = this.text_elt.children;

   301             let spans = this.text_elt.children;

   301             let spanslength = spans.length;

   302             let spanslength = spans.length;

   302             let contentlength = this.content.length;

   303             let contentlength = this.content.length;