2020-06-26 22:38:02 +02:00
|
|
|
// Copyright (c) Microsoft Corporation.
|
|
|
|
// Licensed under the MIT license.
|
|
|
|
|
2020-08-21 17:39:40 +02:00
|
|
|
import "IDirectKeyListener.idl";
|
2020-10-06 18:56:59 +02:00
|
|
|
import "ShortcutActionDispatch.idl";
|
2020-11-06 02:37:45 +01:00
|
|
|
import "HighlightedTextControl.idl";
|
|
|
|
import "FilteredCommand.idl";
|
2020-06-26 22:38:02 +02:00
|
|
|
|
|
|
|
namespace TerminalApp
|
|
|
|
{
|
2020-08-21 17:39:40 +02:00
|
|
|
[default_interface] runtimeclass CommandPalette : Windows.UI.Xaml.Controls.UserControl, Windows.UI.Xaml.Data.INotifyPropertyChanged, IDirectKeyListener
|
2020-06-26 22:38:02 +02:00
|
|
|
{
|
|
|
|
CommandPalette();
|
|
|
|
|
2020-08-11 16:03:12 +02:00
|
|
|
String NoMatchesText { get; };
|
2020-10-16 00:58:35 +02:00
|
|
|
String SearchBoxPlaceholderText { get; };
|
|
|
|
String PrefixCharacter { get; };
|
2020-08-11 16:03:12 +02:00
|
|
|
String ControlName { get; };
|
2020-08-18 21:32:17 +02:00
|
|
|
String ParentCommandName { get; };
|
2020-08-11 16:03:12 +02:00
|
|
|
|
2020-11-06 02:37:45 +01:00
|
|
|
Windows.Foundation.Collections.IObservableVector<FilteredCommand> FilteredActions { get; };
|
2020-06-26 22:38:02 +02:00
|
|
|
|
2020-10-06 18:56:59 +02:00
|
|
|
void SetCommands(Windows.Foundation.Collections.IVector<Microsoft.Terminal.Settings.Model.Command> actions);
|
2020-11-05 15:28:16 +01:00
|
|
|
void SetTabActions(Windows.Foundation.Collections.IVector<Microsoft.Terminal.Settings.Model.Command> tabs, Boolean clearList);
|
2020-08-21 17:39:40 +02:00
|
|
|
void SetKeyBindings(Microsoft.Terminal.TerminalControl.IKeyBindings bindings);
|
2020-12-03 17:15:31 +01:00
|
|
|
void EnableCommandPaletteMode(Microsoft.Terminal.Settings.Model.CommandPaletteLaunchMode launchMode);
|
2020-06-26 22:38:02 +02:00
|
|
|
|
2020-08-21 17:39:40 +02:00
|
|
|
void SelectNextItem(Boolean moveDown);
|
|
|
|
|
2020-06-26 22:38:02 +02:00
|
|
|
void SetDispatch(ShortcutActionDispatch dispatch);
|
2020-08-11 16:03:12 +02:00
|
|
|
|
2020-08-21 17:39:40 +02:00
|
|
|
void EnableTabSwitcherMode(Boolean searchMode, UInt32 startIdx);
|
2020-06-26 22:38:02 +02:00
|
|
|
}
|
|
|
|
}
|