How does your editor draw the text? Robby
On Sat, Jan 2, 2016 at 6:13 PM, David Christiansen <da...@davidchristiansen.dk> 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 > embedded in a slide, using the `interactive' procedure to show it. > > Pragmata Pro has some very nice ligatures for code punctuation. In > particular, it displays => as a fat arrow, -> as a thin arrow, and /= as > a slashed-out equals sign. I'd like to display these in my editor, but > it seems to disable ligatures. I've attempted manually setting the > family to 'swiss and the face to "PragmataPro", in the hope of avoiding > the 'modern family (which at least the `text' procedure in pict ignores > ligatures for), but this hasn't helped. > > I know that Racket can display the ligatures, because evaluating (text > "->" "PragmataPro") at the REPL displays the ligature. > > Does anyone have a suggestion? > > Thanks! > > /David > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
