public History()
{
_tags = new SwitchList <CommandTag>();
tags = _tags;
Reset();
savedNode = head.Prev;
}
public TabBar(SwitchList <T> list, StringOfDelegate <T> stringOf, StringOfDelegate <T> hintOf)
{
SetStyle(ControlStyles.AllPaintingInWmPaint, true);
SetStyle(ControlStyles.UserPaint, true);
SetStyle(ControlStyles.OptimizedDoubleBuffer, true);
SetStyle(ControlStyles.ResizeRedraw, true);
this.stringOf = stringOf;
this.hintOf = hintOf;
TabStop = false;
tempPoints3 = new Point[3];
tempPoints5 = new Point[5];
tempPoints4 = new Point[4];
SetFont(FontFamily.GenericMonospace, 10.25f);
arrowTimer = new Timer();
arrowTimer.Interval = 150;
arrowTimer.Tick += OnArrowTick;
List = list;
}
public TabBar(SwitchList <T> list, StringOfDelegate <T> stringOf) : this(list, stringOf, null)
{
}
public KeyMapBuilder(KeyMap map, SwitchList <NamedAction> list)
{
this.map = map;
this.list = list;
}