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