fix drdr timeout due to gui window
This commit is contained in:
parent
6c7ef76995
commit
8836b85cb7
|
@ -1193,7 +1193,7 @@ path/s is either such a string or a list of them.
|
|||
"collects/scribble" responsible (mflatt eli)
|
||||
"collects/scribble/run.rkt" drdr:command-line "mzc ~s"
|
||||
"collects/scribble/tools/drscheme-buttons.rkt" drdr:command-line "mred-text ~s"
|
||||
"collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line "mred-text ~s" drdr:timeout 600
|
||||
"collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line "gracket-text ~s skip"
|
||||
"collects/scribblings" responsible (mflatt eli robby mathias)
|
||||
"collects/scribblings/foreign/unsafe-foreign.rkt" drdr:command-line "mzc ~s"
|
||||
"collects/scribblings/framework/standard-menus.scrbl" drdr:command-line ""
|
||||
|
|
|
@ -66,4 +66,6 @@
|
|||
(send pdf-bitmap save-file "../pdf.png" 'png)
|
||||
(send html-bitmap save-file "../html.png" 'png))
|
||||
|
||||
(send f show #t)
|
||||
(match (current-command-line-arguments)
|
||||
[(vector "skip") (void)]
|
||||
[_ (send f show #t)])
|
||||
|
|
Loading…
Reference in New Issue
Block a user