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

change back size of tiny-control-font for non-Windows, which was accidentally changed in last revision

Browse Source 
svn: r5751

original commit: 3d19cd30d1325cd12a8ecd17070d83c978b936ab
This commit is contained in:
Matthew Flatt 2007-03-08 00:32:12 +00:00
parent 2e9117f477
commit 627a67a298
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/mred/private/gdi.ss
View File

@ -270,7 +270,7 @@
[else 1]))
(define tiny-delta (case (system-type)
[(windows) 1]
[else 0]))
[else 2]))
(define normal-control-font (make-object wx:font% (wx:get-control-font-size) 'system))
(define small-control-font (make-object wx:font% (- (wx:get-control-font-size) small-delta) 'system))