[racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread David Christiansen
Hello all, I'm using the font Pragmata Pro to display code samples in Slideshow. In particular, I've developed a sort of mini-IDE for Idris that can be embedded in a slide, using the `interactive' procedure to show it. Pragmata Pro has some very nice ligatures for code punctuation. In

Re: [racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread Matthew Flatt
The `text%` layer currently manipulates characters individually. Unfortunately, I think it would be a lot of work to change that layer so that kerning and ligatures work in a `text%` editor --- but I haven't actually tried it. At Sat, 2 Jan 2016 16:18:39 -0800, Alexis King wrote: > This is

Re: [racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread Alexis King
This is well-timed, as I was wondering precisely the same thing myself just yesterday. Atom recently gained support for ligatures, and I was trying out Hasklig, since I normally use Source Code Pro as my monospace font. I tried it out in DrRacket as well, and I was disappointed (though not

Re: [racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread Robby Findler
How does your editor draw the text? Robby On Sat, Jan 2, 2016 at 6:13 PM, David Christiansen wrote: > Hello all, > > I'm using the font Pragmata Pro to display code samples in Slideshow. In > particular, I've developed a sort of mini-IDE for Idris that can be >

Re: [racket-users] Racket in a web page (via Whalesong)

2016-01-02 Thread Daniel Prager
Greg Trzeciak wrote: > I am also writing this post to show there is an interest in Javascript Racket (and ClojureScript competitor). Just wondering: is Whalesong the only option for Racket targeting JS, or are there other options available or under development? Dan -- You received this

Re: [racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread Robby Findler
The DC<%> layer, however, should support drawing text with ligatures. Robby On Saturday, January 2, 2016, Matthew Flatt wrote: > The `text%` layer currently manipulates characters individually. > Unfortunately, I think it would be a lot of work to change that layer > so

Re: [racket-users] Ligatures for monospace fonts in editors?

2016-01-02 Thread Matthew Butterick
Ligatures in coding fonts generally, and in Racket / DrRacket specifically, are a terrible idea. Even worse than `eval`. 1) In a Unicode-aware language like Racket, there's no way to visually distinguish a presentational use of a ligature from a syntactic use. For instance, these two strings