Пример #1
0
        /// <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;
        }
Пример #2
0
        /// <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);
        }