private void Select(HZ_Block HZ_Block) { //Debug.WriteLine("Select(HZ_Block HZ_Block)"); if (!(this._selectedBlock == HZ_Block)) { this.OnNeglectProposed(); } this._selectedIndex = this._blocks.IndexOf(HZ_Block); this._selectedBlock = HZ_Block; this._dameer._textBox.Select(HZ_Block.Index, HZ_Block.Length); }
private void InitBlocks() { //Debug.WriteLine("InitBlocks"); foreach (string f in this._supportedFormats) { this._blocks.AddRange(this.GetBlocks(f)); } this._blocks = this._blocks.OrderBy((a) => a.Index).ToList(); this._selectedBlock = this._blocks[0]; this.Render(); }
internal void ReSelect() { //Debug.WriteLine("ReSelect"); foreach (HZ_Block b in this._blocks) { if ((b.Index <= this._dameer._textBox.SelectionStart) && ((b.Index + b.Length) >= this._dameer._textBox.SelectionStart)) { this.Select(b); return; } } HZ_Block bb = this._blocks.Where((a) => a.Index < this._dameer._textBox.SelectionStart).LastOrDefault(); if (bb == null) { this.Select(0); } else { this.Select(bb); } }