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

adjust the fonts for the error message in the online check syntax

Browse Source
This commit is contained in:
Robby Findler 2011-08-29 13:31:44 -05:00
parent 4ec565ae97
commit 1efcb24575
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/drracket/private/module-language.rkt
View File

@ -840,11 +840,13 @@
[parent expand-error-button-parent-panel] [parent expand-error-button-parent-panel]
[stretchable-width #t] [stretchable-width #t]
[label sc-jump-to-error] [label sc-jump-to-error]
[font small-control-font]
[callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-next))])) [callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-next))]))
(set! expand-error-multiple-child (set! expand-error-multiple-child
(new horizontal-panel% [parent expand-error-button-parent-panel])) (new horizontal-panel% [parent expand-error-button-parent-panel]))
(new button% (new button%
[label "<"] [label "<"]
[font small-control-font]
[callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-prev))] [callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-prev))]
[parent expand-error-multiple-child]) [parent expand-error-multiple-child])
(new message% (new message%
@ -852,6 +854,7 @@
[label sc-jump-to-error]) [label sc-jump-to-error])
(new button% (new button%
[label ">"] [label ">"]
[font small-control-font]
[callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-next))] [callback (λ (b evt) (send (send (get-current-tab) get-defs) expand-error-next))]
[parent expand-error-multiple-child]) [parent expand-error-multiple-child])
(send expand-error-button-parent-panel change-children (λ (l) (list expand-error-single-child))) (send expand-error-button-parent-panel change-children (λ (l) (list expand-error-single-child)))
@ -1045,7 +1048,10 @@
(send normal-control-font get-point-size) (send normal-control-font get-point-size)
(send normal-control-font get-family) (send normal-control-font get-family)
'italic 'italic
(send normal-control-font get-weight)))) (send normal-control-font get-weight)
(send normal-control-font get-underlined)
(send normal-control-font get-smoothing)
(send normal-control-font get-size-in-pixels))))
(define yellow-message% (define yellow-message%
(class canvas% (class canvas%