code: function() {
        var pos = select.selectionTopNode(this.container, true);
        var to = select.selectionTopNode(this.container, false);
        if (pos === false || to === false) return;
  
        select.markSelection(this.win);
        if (this.highlight(pos, endOfLine(to, this.container), true, 20) === false)
          return false;
        select.selectMarked();
        return true;
      }
docs: Re-highlight the selected part of the document.