docs: function goToLine_kd(e){
      e = e || window.event;
  
      // 71 = g, so listen for ctrl/cmd+P
      if(e.keyCode === 71 && (e.ctrlKey || e.metaKey)){
        showJumpBox();
        e.preventDefault();
        return false;
      }
    }