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

svn: r5751
This commit is contained in:
Matthew Flatt 2007-03-08 00:32:12 +00:00
parent 3a158e29b3
commit 3d19cd30d1

View File

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