Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Consider Windows Terminal as non-dumb terminal #706

Merged
merged 2 commits into from
Mar 16, 2024
Merged

Consider Windows Terminal as non-dumb terminal #706

merged 2 commits into from
Mar 16, 2024

Conversation

beatbrot
Copy link
Contributor

@beatbrot beatbrot commented Feb 4, 2024

This is in accordance to this comment. As discussed further in the issue, in an ideal world, we wouldn't check "user agents" of terminals one-by-one, but instead would do proper feature probing like described here.

But anyway: This is a good first step to enhance Windows support.

This is in accordance to [this comment](microsoft/terminal#1040 (comment)). As discussed further in the issue, in an ideal world, we wouldn't check "user agents" of terminals one-by-one, but instead would do proper feature probing like described [here](https://github.com/termstandard/colors).

But anyway: This is a good first step to enhance Windows support.
@beatbrot beatbrot marked this pull request as ready for review February 4, 2024 12:04
@beatbrot
Copy link
Contributor Author

@ankitpokhrel Could you maybe take another look at this? :) Having this fix would really improve my usecase :)

Copy link
Owner

@ankitpokhrel ankitpokhrel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't have a windows machine to test this at the moment but looks good. Thanks!

@ankitpokhrel ankitpokhrel merged commit df2a86c into ankitpokhrel:main Mar 16, 2024
4 checks passed
@beatbrot beatbrot deleted the respect_wt_session branch March 16, 2024 10:17
@JosXa
Copy link

JosXa commented May 6, 2024

Waiting desperately for a release of this :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants