/// <summary>
/// Replace the top of the mouse mode stack
/// </summary>
/// <param name="m"></param>
public void ReplaceMouseMode(MouseMode m)
{
Console.WriteLine("Replace mouse mode " + m);
MouseModeStack.Pop();
MouseModeStack.Push(m);
Cursor = m.GetCursor();
}
public MouseMode PopMouseMode()
{
MouseMode m = MouseModeStack.Pop();
//Console.WriteLine("Exit mouse mode " + m);
MouseMode top = MouseModeStack.Peek();
if (top != null)
{
Cursor = top.GetCursor();
}
return(m);
}
public void PushMouseMode(MouseMode m)
{
//Console.WriteLine("Enter mouse mode " + m);
MouseModeStack.Push(m);
Cursor = m.GetCursor();
}
