[racket] Unicode art

Yes, I think that's right. Here's a patch to set that spacing to 0.
Does that make the problem go away?

diff --git a/collects/drracket/private/unit.rkt b/collects/drracket/private/unit
index 5525d24..c759c17 100644
--- a/collects/drracket/private/unit.rkt
+++ b/collects/drracket/private/unit.rkt
@@ -4172,6 +4172,7 @@ module browser threading seems wrong.
       ;

       (define definitions-text (new (drracket:get/extend:get-definitions-text))
+      (send definitions-text set-line-spacing 0)

       ;; tabs : (listof tab)
       (define tabs (list (new (drracket:get/extend:get-tab)


On Wed, Mar 21, 2012 at 11:05 AM, Paulo J. Matos <paulo at matos-sorge.com> wrote:
> On 21/03/12 15:20, Pierpaolo Bernardi wrote:
>>
>> On Wed, Mar 21, 2012 at 15:37, Vincent St-Amour<stamourv at ccs.neu.edu>
>>  wrote:
>>>
>>> Using the same font in a different application, do you get the same
>>> gaps? If so, it's probably a font issue.
>>
>>
>> It's not clear to me where the issue is.
>>
>
> My guess is that is has to do with how DrRacket separates lines.
> If it leaves 1 blank pixel in between lines... you get what you're seeing.
> No idea if this is configurable.
>
>
> --
> PMatos
>
>
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users