fixed bugs discovered in workshop
original commit: 630fb3f251906de791cf011952784dff547ca5e6
This commit is contained in:
parent
7a313d5afb
commit
e60982a294
|
@ -36,9 +36,9 @@
|
|||
(define -exit
|
||||
(let*-values ([(exiting?) #f]
|
||||
[(w capW)
|
||||
(if (eq? wx:platform 'macintosh)
|
||||
(values "quit" "Quit")
|
||||
(values "exit" "Exit"))]
|
||||
(if (eq? wx:platform 'windows)
|
||||
(values "exit" "Exit")
|
||||
(values "quit" "Quit"))]
|
||||
[(message)
|
||||
(string-append "Are you sure you want to "
|
||||
w
|
||||
|
|
|
@ -342,9 +342,11 @@
|
|||
(lambda (button evt)
|
||||
(let ([new-value
|
||||
(mred:gui-utils:get-single-choice
|
||||
"message"
|
||||
"caption"
|
||||
fonts)])
|
||||
(format "Please choose a new ~a font"
|
||||
name)
|
||||
"Fonts"
|
||||
fonts
|
||||
null -1 -1 #t 300 400)])
|
||||
(unless (null? new-value)
|
||||
(wx:write-resource
|
||||
section
|
||||
|
@ -387,6 +389,8 @@
|
|||
(unbox b)
|
||||
default-font-size))
|
||||
1 127 50))
|
||||
(make-object mred:message% main
|
||||
"Restart to see font changes")
|
||||
main))
|
||||
#f)))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user