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

User-defined visual text substitutions (Prettify Symbols Mode in vim/emacs/vsc) #18420

Open
1 task done
spaceunifyfifty opened this issue Sep 27, 2024 · 0 comments
Open
1 task done
Labels
admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue

Comments

@spaceunifyfifty
Copy link

spaceunifyfifty commented Sep 27, 2024

Check for existing issues

  • Completed

Describe the feature

In VSCode among others there are extensions Prettify (not prettier), Conceal
https://marketplace.visualstudio.com/items?itemName=siegebell.prettify-symbols-mode
https://github.com/coq-community/vsc-conceal

which allow you to render matched text as any symbol you want in the editor.
e.g. In python, you can make lambda render as λ

"conceal.substitutions": [
        {
            "language": "python",
            "substitutions": [
                {
                    "ugly": "lambda",
                    "pretty": "λ",
                }
            ]
        }
]

The user still manually types lambda, but immediately after typing it fully the IDE will render it as the symbol. When you move your caret back to the word, it then reveals back as it's original form.

An extension or built-in mode for this would be nice. I currently don't want to use Zed at all for certain languages, because of the lack of the ability to do this.

If applicable, add mockups / screenshots to help present your vision of the feature

No response

@spaceunifyfifty spaceunifyfifty added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Sep 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue
Projects
None yet
Development

No branches or pull requests

1 participant