[racket] Unicode art
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.