2020-09-09 22:49:53 +02:00
|
|
|
// Copyright (c) Microsoft Corporation.
|
|
|
|
// Licensed under the MIT license.
|
|
|
|
|
|
|
|
import "GlobalAppSettings.idl";
|
|
|
|
import "Profile.idl";
|
2020-09-11 02:57:02 +02:00
|
|
|
import "TerminalWarnings.idl";
|
2020-09-09 22:49:53 +02:00
|
|
|
|
2020-10-06 18:56:59 +02:00
|
|
|
namespace Microsoft.Terminal.Settings.Model
|
2020-09-09 22:49:53 +02:00
|
|
|
{
|
|
|
|
[default_interface] runtimeclass CascadiaSettings {
|
2020-10-06 18:56:59 +02:00
|
|
|
CascadiaSettings(String json);
|
2020-10-17 00:14:11 +02:00
|
|
|
CascadiaSettings Copy();
|
2020-10-06 18:56:59 +02:00
|
|
|
|
2020-11-17 01:37:19 +01:00
|
|
|
void WriteSettingsToDisk();
|
|
|
|
|
2020-09-09 22:49:53 +02:00
|
|
|
static CascadiaSettings LoadDefaults();
|
|
|
|
static CascadiaSettings LoadAll();
|
|
|
|
static CascadiaSettings LoadUniversal();
|
|
|
|
|
2020-10-06 18:56:59 +02:00
|
|
|
static String SettingsPath { get; };
|
|
|
|
static String DefaultSettingsPath { get; };
|
|
|
|
|
|
|
|
static String ApplicationDisplayName { get; };
|
|
|
|
static String ApplicationVersion { get; };
|
|
|
|
|
2020-09-09 22:49:53 +02:00
|
|
|
GlobalAppSettings GlobalSettings { get; };
|
|
|
|
|
2020-11-06 19:34:14 +01:00
|
|
|
Profile ProfileDefaults { get; };
|
|
|
|
|
2020-10-28 17:22:26 +01:00
|
|
|
Windows.Foundation.Collections.IObservableVector<Profile> AllProfiles { get; };
|
|
|
|
Windows.Foundation.Collections.IObservableVector<Profile> ActiveProfiles { get; };
|
2020-09-09 22:49:53 +02:00
|
|
|
|
2020-09-14 22:38:56 +02:00
|
|
|
KeyMapping KeyMap { get; };
|
2020-09-09 22:49:53 +02:00
|
|
|
|
2020-09-11 02:57:02 +02:00
|
|
|
Windows.Foundation.Collections.IVectorView<SettingsLoadWarnings> Warnings { get; };
|
|
|
|
Windows.Foundation.IReference<SettingsLoadErrors> GetLoadingError { get; };
|
|
|
|
String GetSerializationErrorMessage { get; };
|
|
|
|
|
2020-11-06 19:34:14 +01:00
|
|
|
Profile CreateNewProfile();
|
2020-09-09 22:49:53 +02:00
|
|
|
Profile FindProfile(Guid profileGuid);
|
|
|
|
ColorScheme GetColorSchemeForProfile(Guid profileGuid);
|
2021-01-22 19:21:18 +01:00
|
|
|
void UpdateColorSchemeReferences(String oldName, String newName);
|
2020-09-14 22:38:56 +02:00
|
|
|
|
|
|
|
Guid GetProfileForArgs(NewTerminalArgs newTerminalArgs);
|
2020-09-09 22:49:53 +02:00
|
|
|
}
|
|
|
|
}
|