public HistoryManager(HistoryManagerData hmd) { Formatter = new SmartHistoryFormatter(); historyManagerData = hmd; Util.Init(out unusedIds); }
public HistoryManager(ConfHistory config) { Formatter = new SmartHistoryFormatter(); Util.Init(out unusedIds); this.config = config; }
public HistoryManager(HistoryManagerData hmd) { Formatter = new SmartHistoryFormatter(); historyFile = new HistoryFile(); historyFile.OpenFile(hmd.historyFile); }