From c8c8ce64eb5f18d770c06997a3164f5d64f03c24 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 19 Feb 2016 09:03:39 -0600 Subject: [PATCH] use the right font for sizing the line numbers invalidate region closes #41 --- gui-lib/framework/private/text.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-lib/framework/private/text.rkt b/gui-lib/framework/private/text.rkt index d2cf2929..97bbd6ec 100644 --- a/gui-lib/framework/private/text.rkt +++ b/gui-lib/framework/private/text.rkt @@ -4433,12 +4433,12 @@ designates the character that triggers autocompletion (define/private (text-width dc stuff) (define-values (font-width font-height baseline space) - (send dc get-text-extent stuff)) + (send dc get-text-extent stuff (get-style-font))) font-width) (define/private (text-height dc stuff) (define-values (font-width height baseline space) - (send dc get-text-extent stuff)) + (send dc get-text-extent stuff (get-style-font))) height) (define old-clipping #f)