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

Sunset ligature removal #977

Merged
merged 1 commit into from Oct 20, 2022
Merged

Sunset ligature removal #977

merged 1 commit into from Oct 20, 2022

Conversation

Finii
Copy link
Collaborator

@Finii Finii commented Oct 20, 2022

Description

[why]
Keeping the ligature removal tables up to date with source font updates is quite a maintenance burden.

Usually if a terminal supports ligatures at all it has an option to disable them.

Present ligatures do not prevent monospaced fonts and monospaced detection.

It was only present in v2.0.0, and the code has been broken with v2.1.0.

[note]
Updated example ligature removal table to the one for Iosevka. Left stubs in relevant code passages to facilitate finding this commit.

Fixes: #976
Fixes: #975
Fixes: #973

Requirements / Checklist

What does this Pull Request (PR) do?

Remove the ligature removal tables, so that all patched fonts still contain all ligatures that they originally had.

How should this be manually tested?

Any background context you can provide?

What are the relevant tickets (if any)?

Screenshots (if appropriate or helpful)

[why]
Keeping the ligature removal tables up to date with source font updates
is quite a maintenance burden.

Usually if a terminal supports ligatures at all it has an option to
disable them.

Present ligatures do not prevent monospaced fonts and monospaced
detection.

It was only present in v2.0.0, and the code has been broken with v2.1.0.

[note]
Updated example ligature removal table to the one for Iosevka.
Left stubs in relevant code passages to facilitate finding this commit.

Fixes: #976
Fixes: #975
Fixes: #973

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
@Finii Finii merged commit 148b0c4 into master Oct 20, 2022
@Finii Finii deleted the bugfix/remove-ligature-removal branch October 20, 2022 06:44
@Finii
Copy link
Collaborator Author

Finii commented Feb 13, 2024

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