2019-05-03 00:29:04 +02:00
|
|
|
// Copyright (c) Microsoft Corporation.
|
|
|
|
// Licensed under the MIT license.
|
|
|
|
|
|
|
|
namespace Microsoft.Terminal.TerminalControl
|
|
|
|
{
|
|
|
|
delegate void TitleChangedEventArgs(String newTitle);
|
|
|
|
delegate void ConnectionClosedEventArgs();
|
|
|
|
delegate void ScrollPositionChangedEventArgs(Int32 viewTop, Int32 viewHeight, Int32 bufferLength);
|
|
|
|
delegate void CopyToClipboardEventArgs(String copiedData);
|
|
|
|
|
|
|
|
runtimeclass PasteFromClipboardEventArgs
|
|
|
|
{
|
|
|
|
void HandleClipboardData(String data);
|
|
|
|
}
|
|
|
|
|
|
|
|
[default_interface]
|
|
|
|
runtimeclass TermControl
|
|
|
|
{
|
|
|
|
TermControl();
|
|
|
|
TermControl(Microsoft.Terminal.Settings.IControlSettings settings);
|
|
|
|
|
|
|
|
static Windows.Foundation.Point GetProposedDimensions(Microsoft.Terminal.Settings.IControlSettings settings, UInt32 dpi);
|
|
|
|
|
|
|
|
Windows.UI.Xaml.UIElement GetRoot();
|
|
|
|
Windows.UI.Xaml.Controls.UserControl GetControl();
|
|
|
|
void UpdateSettings(Microsoft.Terminal.Settings.IControlSettings newSettings);
|
|
|
|
|
|
|
|
event TitleChangedEventArgs TitleChanged;
|
|
|
|
event ConnectionClosedEventArgs ConnectionClosed;
|
|
|
|
event CopyToClipboardEventArgs CopyToClipboard;
|
|
|
|
event Windows.Foundation.TypedEventHandler<TermControl, PasteFromClipboardEventArgs> PasteFromClipboard;
|
|
|
|
|
|
|
|
String Title { get; };
|
|
|
|
void CopySelectionToClipboard(Boolean trimTrailingWhitespace);
|
|
|
|
void Close();
|
2019-06-07 23:56:44 +02:00
|
|
|
Boolean ShouldCloseOnExit { get; };
|
2019-05-03 00:29:04 +02:00
|
|
|
|
|
|
|
void ScrollViewport(Int32 viewTop);
|
2019-05-23 22:39:29 +02:00
|
|
|
void KeyboardScrollViewport(Int32 viewTop);
|
2019-05-03 00:29:04 +02:00
|
|
|
Int32 GetScrollOffset();
|
2019-05-15 15:21:14 +02:00
|
|
|
Int32 GetViewHeight();
|
2019-05-03 00:29:04 +02:00
|
|
|
event ScrollPositionChangedEventArgs ScrollPositionChanged;
|
|
|
|
}
|
|
|
|
}
|