internal DocumentNavigation(Scintilla scintilla) : base(scintilla) { this.t = new Timer { Interval = this._navigationPointTimeout }; this.t.Tick += this.t_Tick; scintilla.SelectionChanged += this.scintilla_SelectionChanged; }