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

Unicode toolbar #9

Open
lezsakdomi opened this issue Jul 23, 2020 · 0 comments
Open

Unicode toolbar #9

lezsakdomi opened this issue Jul 23, 2020 · 0 comments

Comments

@lezsakdomi
Copy link
Owner

lezsakdomi commented Jul 23, 2020

Received bug report:

Ha nem nehéz a megvalósítás: a := helyett szebb lenne a 2254h karakter

(the character she's referring to: )

→ Provide a toolbar with the most used "programming characters": Clicking on one inserts one at the cursor position. Maybe even provide Ctrl-shortcuts.

Hotfix: First, edit the sample code :)

Alternative solution: Upon typing, automatically replace the selected strings with the unicode equivalents.

Even better: Parse the code, and show the highlighted version with unicode chars.

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

No branches or pull requests

1 participant