2021-04-09 00:46:16 +02:00
|
|
|
// Copyright (c) Microsoft Corporation.
|
|
|
|
// Licensed under the MIT license.
|
|
|
|
|
|
|
|
namespace Microsoft.Terminal.Control
|
|
|
|
{
|
|
|
|
interface IControlAppearance requires Microsoft.Terminal.Core.ICoreAppearance
|
|
|
|
{
|
2021-09-23 21:45:54 +02:00
|
|
|
Microsoft.Terminal.Core.Color SelectionBackground { get; };
|
|
|
|
String BackgroundImage { get; };
|
|
|
|
Double BackgroundImageOpacity { get; };
|
|
|
|
Windows.UI.Xaml.Media.Stretch BackgroundImageStretchMode { get; };
|
|
|
|
Windows.UI.Xaml.HorizontalAlignment BackgroundImageHorizontalAlignment { get; };
|
|
|
|
Windows.UI.Xaml.VerticalAlignment BackgroundImageVerticalAlignment { get; };
|
|
|
|
Boolean IntenseIsBold { get; };
|
Add an ENUM setting for disabling rendering "intense" text as bold (#10759)
## Summary of the Pull Request
This adds a new setting `intenseTextStyle`. It's a per-appearance, control setting, defaulting to `"all"`.
* When set to `"all"` or `["bold", "bright"]`, then we'll render text as both **bold** and bright (1.10 behavior)
* When set to `"bold"`, `["bold"]`, we'll render text formatted with `^[[1m` as **bold**, but not bright
* When set to `"bright"`, `["bright"]`, we'll render text formatted with `^[[1m` as bright, but not bold. This is the pre 1.10 behavior
* When set to `"none"`, we won't do anything special for it at all.
## references
* I last did this in #10648. This time it's an enum, so we can add bright in the future. It's got positive wording this time.
* ~We will want to add `"bright"` as a value in the future, to disable the auto intense->bright conversion.~ I just did that now.
* #5682 is related
## PR Checklist
* [x] Closes #10576
* [x] I seriously don't think we have an issue for "disable intense is bright", but I'm not crazy, people wanted that, right? https://github.com/microsoft/terminal/issues/2916#issuecomment-544880423 was the closest
* [x] I work here
* [x] Tests added/passed
* [x] https://github.com/MicrosoftDocs/terminal/pull/381
## Validation Steps Performed
<!-- ![image](https://user-images.githubusercontent.com/18356694/125480327-07f6b711-6bca-4c1b-9a76-75fc978c702d.png) -->
![image](https://user-images.githubusercontent.com/18356694/128929228-504933ee-cf50-43a2-9982-55110ba39191.png)
Yea that works. Printed some bold text, toggled it on, the text was no longer bold. hooray.
### EDIT, 10 Aug
```json
"intenseTextStyle": "none",
"intenseTextStyle": "bold",
"intenseTextStyle": "bright",
"intenseTextStyle": "all",
"intenseTextStyle": ["bold", "bright"],
```
all work now. Repro script:
```sh
printf "\e[1m[bold]\e[m[normal]\e[34m[blue]\e[1m[bold blue]\e[m\n"
```
2021-08-16 15:45:56 +02:00
|
|
|
// IntenseIsBright is in Core Appearance
|
2021-09-23 21:45:54 +02:00
|
|
|
Double Opacity { get; };
|
2021-04-09 00:46:16 +02:00
|
|
|
|
|
|
|
// Experimental settings
|
2021-09-23 21:45:54 +02:00
|
|
|
Boolean RetroTerminalEffect { get; };
|
|
|
|
String PixelShaderPath { get; };
|
2021-04-09 00:46:16 +02:00
|
|
|
};
|
|
|
|
}
|