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

All right, no worries. It would make the slides a bit prettier, but Pragmata is also beautiful without the ligatures. Now that I know it's non-trivial, I will do other things! Thanks! /David On 03/01/16 01:36, Matthew Flatt wrote: > The `text%` layer currently manipulates characters

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

Matthew, > 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 would be displayed the same way: > > (string-append* '("m" "f" "l" "a" "t" "t")) > (string-append* '("m" "fl"

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

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?

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?

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?

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] Ligatures for monospace fonts in editors?

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?

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