Skip to content
New issue

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

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

Already on GitHub? # to your account

Auto convert != to ≠ Symbol (Unicode) #1110

Open
3 tasks done
larsb24 opened this issue Dec 20, 2024 · 3 comments
Open
3 tasks done

Auto convert != to ≠ Symbol (Unicode) #1110

larsb24 opened this issue Dec 20, 2024 · 3 comments
Labels
enhancement New feature or request

Comments

@larsb24
Copy link

larsb24 commented Dec 20, 2024

Have you read a contributing guide?

  • I have read CONTRIBUTING.md
  • I have searched the existing requests and didn't find any that were similar
  • I have considered creating a pull request instead and want to proceed

Clear and concise description of the problem

Not really a problem per-se but would be a nice (and probably pretty simple) addition
Anytype already converts certain character combinations to unicode signs.
For example -> becomes a proper arrow (→) and so on.

Suggested solution

It would be really nice if other things such as != would also translate to unicode signs such as ≠.
Another similar useful addition could be ~= to ≈

Alternative

No response

Additional context

No response

@larsb24 larsb24 added the enhancement New feature or request label Dec 20, 2024
@ZMensRain
Copy link
Contributor

These are called ligatures, a list of them can be found at https://wikipedia.org/wiki/Ligature_(writing). I think there should also be a way to disable ligatures maybe in the vault settings

@developomp
Copy link
Contributor

To me, supporting custom fonts sounds like a better solution than supporting ligatures specifically.

@larsb24
Copy link
Author

larsb24 commented Jan 9, 2025

I'm just suggesting what fits best into the existing codebase. And since there are already certain combinations that are converted automatically I suppose it wouldn't be hard to add more

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants