suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use the right font for sizing the line numbers invalidate region

Browse Source 
closes #41
This commit is contained in:
Robby Findler 2016-02-19 09:03:39 -06:00
parent d88ba8d2cd
commit c8c8ce64eb
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gui-lib/framework/private/text.rkt
View File

@ -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)