[racket] Unicode art

Using the same font in a different application, do you get the same
gaps? If so, it's probably a font issue.

Vincent


At Wed, 21 Mar 2012 10:39:52 +0100,
Pierpaolo Bernardi wrote:
> 
> Hello,
> 
> not sure if this is a DrRacket or font question.
> 
> I'm doing drawings with the unicode box drawing characters, like this:
> 
> > (q '(31 13) #t 'L)
> ()
> 
> ╶┬─┬───┬─────┬─┐
> ╷│╷└──┐╵┌──╴╷╵╷│
> │╵├┬─┐└┬┘┌──┼─┘│
> ├┬┘╵╷└┐│╶┴┬╴│┌─┤
> │╵┌─┴┐╵│╶┐│╶┤│╷│
> │╶┘┌╴└─┴─┘│╷╵╵│╵
> └──┴──────┴┴──┴╴
> > (q '(31 13) #t 'H)
> ()
> 
> ╺━┳━━━━━━━┳━━━━┓
> ┏┓┗┓╺┳╸┏━╸┃┏╸┏━┫
> ┃┗╸┣╸┃╺┻━┓┃┃╺┛╻┃
> ┃┏━┛╺┻━━┓┣┛┣┳━┛┃
> ┃┣━┓┏━━┓┃╹╺┛┃┏┓┃
> ┃╹╻┗┛┏╸┗┻━━━┛┃╹╹
> ┗━┻━━┻━━━━━━━┻━╸
> >
> 
> This text looks fine in a default DrRacket editor buffer or
> interaction window, except that there's an extra blank pixel line
> between rows (on windows, using default font Courier New)
> 
> Is there anything I can tweak in DrRacket to display this text better?
> 
> Thanks
> P.
> 
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users