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.

Sign up for GitHub

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

Jump to bottom

Ligature Request: </> #147

Closed
Fresheyeball opened this issue Mar 2, 2016 · 8 comments
Closed

Ligature Request: </> #147

Fresheyeball opened this issue Mar 2, 2016 · 8 comments
Labels
suggestion

Comments

@Fresheyeball
Copy link

Right now </> appears with the </ ligature and >, but I feel that </> is a single symbol.
@MadcapJake
Copy link

What language utilizes this as syntax?

@Fresheyeball
Copy link
Author

</> is path append in Haskell, Elm and PuresScript, probably others.

@tonsky
Copy link
Owner

tonsky commented Mar 2, 2016

Nice — will add

@Fresheyeball
Copy link
Author

Woot!

@mcepl
Copy link

mcepl commented Jun 1, 2016 •
edited
Loading

Nice — will add

Won't all people editing SGML hate you?

@tonsky
Copy link
Owner

tonsky commented Jun 1, 2016

@mcepl why? Will it cause conflicts?

@mcepl
Copy link

mcepl commented Jun 1, 2016 •
edited
Loading

</> is an universal end of any element in SGML (remember, XML is a subset of SGML; this is one of the features they eliminated).

@tonsky
Copy link
Owner

tonsky commented Jun 1, 2016

They should praise me for that ligature instead (b/c right now </> renders as two chars, will be as one—which it is)

@tonsky tonsky closed this as completed in a94d75e Jul 17, 2016
tonsky added a commit that referenced this issue Jul 17, 2016
@tonsky
Added </> (closes #147)
7037ced
Losangelosgenetics pushed a commit to Losangelosgenetics/FiraCode that referenced this issue Mar 12, 2020
@bundlerbot
Auto merge of tonsky#147 - olleolleolle:patch-2, r=indirect
d4f64ec 
Travis: jruby-9.1.12.0

This PR updates the CI matrix to use latest JRuby.

http://jruby.org/2017/06/15/jruby-9-1-12-0.html
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
suggestion
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@mcepl @tonsky @Fresheyeball @MadcapJake