Repository navigation
Code ligatures to add #305
Description
Activity
- changed the title
[-]Code ligatures remaining[/-][+]Code ligatures issues to fix ASAP[/+]on Jan 23, 2020 - changed the title
[-]Code ligatures issues to fix ASAP[/-][+]Code ligatures to add[/+]on Aug 3, 2020 - remove f quote – it messes with syntax highlighting, and this Python f-strings would arguably be better without it.
Done in sources; just has to be built into a release.
Other tasks:
- Wavy arrows? Maybe in the future, but only if people actually request it.
- Remove bracket ligatures? (These were messing up syntax highlighting.) Done.
- Simplified "controversial" ligatures? Probably not. I’ve grown to like the controversial ones, and people can easily use the fonts without ligatures if they prefer
Must do
<!--DONE (Click to expand)
The opening HTML comment should be unified.
DONE (Click to expand)
See #296
put /f.mono in f_quotesingle.code rather than normal /f
Maybe do
Triple symbols
The middle of tripled symbols could be raised:
Wavy arrows?
Wavy arrows seem to be in other code ligature sets. What languages use them? Should they be added here?
Remove bracket ligatures?
Simplified "controversial" ligatures?
It may be possible to add a stylistic set to allow simplified versions of some "controversial" ligatures, such as
<=and>=. Should I?