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

avoid a wrapper on callbacks that get stored in a weak table

Browse Source 
This fixes a bug in DrRacket where by changing the font size
would cause the line numbers to encroach on the space allotted
to the main text of the definitions window (or, if the font size
is getting smaller, make a large gap)
This commit is contained in:
Robby Findler 2013-02-12 13:44:44 -06:00
parent 53853d696a
commit d1357f2294
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/racket/snip/private/contract.rkt
View File

@ -133,6 +133,10 @@
(set-weight-off (->m font-weight/c void?))
(set-weight-on (->m font-weight/c void?))))
(define (arity-1-procedure? x)
(and (procedure? x)
(procedure-arity-includes? x 1)))
(define style-list%/c
(class/c
(basic-style (->m (is-a?/c style<%>)))
@ -143,7 +147,7 @@
(forget-notification (->m any/c void?))
(index-to-style (->m exact-nonnegative-integer? (or/c (is-a?/c style<%>) false/c)))
(new-named-style (->m string? (is-a?/c style<%>) (is-a?/c style<%>)))
(notify-on-change (->m (-> (or/c (is-a?/c style<%>) false/c) any) any/c))
(notify-on-change (->m arity-1-procedure? any/c))
(number (->m exact-nonnegative-integer?))
(replace-named-style (->m string? (is-a?/c style<%>) (is-a?/c style<%>)))
(style-to-index (->m (is-a?/c style<%>) (or/c exact-nonnegative-integer? false/c)))))