/// <summary> /// TODO /// </summary> protected InteractiveEditor(IEditor editor, HistoryLog history, string outputMark1, string outputMark2, string outputMark3) { Editor = editor; History = history; Editor.KeyDown += OnKeyDown; OutputMark1 = outputMark1; OutputMark2 = outputMark2; OutputMark3 = outputMark3; }
/// <summary> /// New history UI. /// </summary> /// <param name="history">The connected history log.</param> public HistoryMenu(HistoryLog history) { _history = history; Menu = Far.Api.CreateListMenu(); Menu.IncrementalOptions = PatternOptions.Substring; Menu.ScreenMargin = 2; Menu.SelectLast = true; Menu.Title = "History"; Menu.UsualMargins = true; Menu.AddKey(KeyCode.R, ControlKeyStates.LeftCtrlPressed, OnDelete); Menu.AddKey(KeyCode.Delete, ControlKeyStates.None, OnDelete); }