protected void ResetDocumentCursor() { _documentCursor = null; TerminalControl terminalControl = GetTerminalControl(); if (terminalControl != null) { terminalControl.ResetDocumentCursor(); } }
/// <summary> /// A method called when a TerminalControl has been attached to the session. /// </summary> /// <param name="terminalControl">TerminalControl which is being attached</param> public void Attached(TerminalControl terminalControl) { if (_documentCursor != null) { terminalControl.SetDocumentCursor(_documentCursor); } else { terminalControl.ResetDocumentCursor(); } }
/// <summary> /// A method called when a TerminalControl is going to be detached from the session. /// </summary> /// <param name="terminalControl">TerminalControl which will be detached</param> public void Detach(TerminalControl terminalControl) { terminalControl.ResetDocumentCursor(); }
/// <summary> /// A method called when a TerminalControl has been attached to the session. /// </summary> /// <param name="terminalControl">TerminalControl which is being attached</param> public void Attached(TerminalControl terminalControl) { if (_documentCursor != null) terminalControl.SetDocumentCursor(_documentCursor); else terminalControl.ResetDocumentCursor(); }