/// <summary>
/// unpause move (after Pause only)
/// </summary><see cref="Pause"/>
public void unPause(PauseTicket ticket)
{
try {
if (ticket != null) ticket.Dispose();
} catch (ObjectDisposedException de) { Dbg("ticket already disposed" + de); }
Dbg("unpause " + this.automovestatus + " lvl=" + ptickets.Count);
}
