fix contract
This commit is contained in:
parent
a68850ca78
commit
da68fc209a
|
@ -874,7 +874,7 @@
|
||||||
parent))
|
parent))
|
||||||
users-name))))
|
users-name))))
|
||||||
|
|
||||||
;; users-name-ok? : symbol string (union #f frame% dialog%) string -> boolean
|
;; users-name-ok? : symbol string (union #f frame% dialog%) path? -> boolean
|
||||||
;; returns #t if the string is an acceptable name for
|
;; returns #t if the string is an acceptable name for
|
||||||
;; a saved executable, and #f otherwise.
|
;; a saved executable, and #f otherwise.
|
||||||
(define (users-name-ok? mode extension parent name)
|
(define (users-name-ok? mode extension parent name)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user