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