On 2015-08-18 at 22:40, quoth Robby Findler:
> Okay, when you run this program, it will create "tmp.pdf". Does it
> contain the same two pairs of white brackets?
I confirm that the PDF contains correct brackets.
--
You received this message because you are subscribed to the Google Groups
"Rack
(add users@ back)
On Tue, Aug 18, 2015 at 3:40 PM, Robby Findler
wrote:
> On Tue, Aug 18, 2015 at 3:33 PM, Paul van der Walt
> wrote:
>>
>> On 2015-08-18 at 22:02, quoth Robby Findler:
>>> What happens when you run this program? Do you see the white brackets
>>> at either (10,10) or (10,60) in t
What happens when you run this program? Do you see the white brackets
at either (10,10) or (10,60) in the resulting window?
#lang racket/gui
(define (draw c dc)
(send dc set-font (send the-font-list find-or-create-font 12
'default 'normal 'normal))
(send dc draw-text "\u27e6\u27e7" 10 10)
(
Hi Robby,
On 2015-08-18 at 19:29, quoth Robby Findler:
>> c) can i make the Unicode approach work? It seems like The Right Thing
>>To Do. Not super important though.
>
> You would need to install a font that has that glyph, I believe. Maybe
> the STIX fonts are good ones to try.
Does the PD
On Tue, Aug 18, 2015 at 11:52 AM, Paul van der Walt
wrote:
> Hey Matthew,
>
> On 2015-08-18 at 18:16, quoth Matthew Flatt:
>> The change was probably the switch from using "homemade" white-brackets
>> to using the white-bracket Unicode character.
>
> OK, two questions:
>
> a) this fixes PDF genera
Hey Matthew,
On 2015-08-18 at 18:16, quoth Matthew Flatt:
> The change was probably the switch from using "homemade" white-brackets
> to using the white-bracket Unicode character.
OK, two questions:
a) this fixes PDF generation, great, thanks!
b) however, when i do the following:
(paramete
At Tue, 18 Aug 2015 17:45:28 +0200, Paul van der Walt wrote:
> I have a bunch of typing judgements and metafunctions which i would now
> like to typeset, but the ⟦⟧ characters are not showing up correctly. I
> assume this is some kind of fonts problem? Mind you, at some point in
> the past (some
Hello Racketeers,
I have been using Redex a bit more (finally beginning to understand one
or two things, yay!), but i'm having a rather banal technical problem.
I have a bunch of typing judgements and metafunctions which i would now
like to typeset, but the ⟦⟧ characters are not showing up correc
8 matches
Mail list logo