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 <pa...@matos-sorge.com> wrote:
> On 21/03/12 15:20, Pierpaolo Bernardi wrote:
>>
>> On Wed, Mar 21, 2012 at 15:37, Vincent St-Amour<stamo...@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
____________________
Racket Users list:
http://lists.racket-lang.org/users
