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 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();
}