144         } else {

   144         } else {

   145             this.set_partial_text();

   145             this.set_partial_text();

   146         }

   146         }

   147         this.adjust_box_to_text();

   147         this.adjust_box_to_text();

   148         this.element.removeChild(this.button_elt);

   148         this.element.removeChild(this.button_elt);

   149         // disable interaction with background

   150         // disable interaction with background

   150         document.addEventListener("click", this.bound_inhibit_click_elsewhere, true);

   151         document.addEventListener("click", this.bound_inhibit_click_elsewhere, true);

   151         this.opened = true;

   152         this.opened = true;

   152     },

   153     },

   153     reset_text: function(){

   154     reset_text: function(){