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

contracts & units are not getting along; unbreak the build for now

Browse Source
This commit is contained in:
Robby Findler 2013-10-02 10:34:15 -05:00
parent 7037120be7
commit 154d940a67
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt
View File

@ -456,8 +456,11 @@
(get-current-preferred-font-size)))) (get-current-preferred-font-size))))
(define/contract (set-current-preferred-font-size new-size) (define (set-current-preferred-font-size new-size)
(-> exact-nonnegative-integer? void?) (unless (exact-nonnegative-integer? new-size)
(raise-argument-error 'set-current-preferred-font-size
"exact-nonnegative-integer?"
new-size))
(define old-pref (preferences:get 'framework:standard-style-list:font-size)) (define old-pref (preferences:get 'framework:standard-style-list:font-size))
(define current-mons (get-current-monitor-sizes)) (define current-mons (get-current-monitor-sizes))
(define new-monitor-sizes (define new-monitor-sizes