minor Scribbl{e,ings} tweaks
svn: r8244
This commit is contained in:
parent
0209f1aa06
commit
a4cd1cdbae
|
@ -465,7 +465,7 @@
|
||||||
(make-styled-paragraph (list (make-element "refcolumn"
|
(make-styled-paragraph (list (make-element "refcolumn"
|
||||||
(list
|
(list
|
||||||
(make-element "refcontent"
|
(make-element "refcontent"
|
||||||
c))))
|
(decode-content c)))))
|
||||||
"refpara"))
|
"refpara"))
|
||||||
|
|
||||||
;; ----------------------------------------
|
;; ----------------------------------------
|
||||||
|
|
|
@ -219,8 +219,8 @@ scheme/gui
|
||||||
@margin-note{Note that if you really want to ask a yes-or-no
|
@margin-note{Note that if you really want to ask a yes-or-no
|
||||||
question via a GUI, you should use
|
question via a GUI, you should use
|
||||||
@scheme[message-box/custom] (and generally speaking,
|
@scheme[message-box/custom] (and generally speaking,
|
||||||
avoiding the words ``yes'' and ``no'' in your dialog is a
|
avoiding the responses ``yes'' and ``no'' in your dialog is a
|
||||||
good idea, too ...)}
|
good idea, too ...).}
|
||||||
|
|
||||||
The contract for @scheme[ask-yes-or-no-question] uses our
|
The contract for @scheme[ask-yes-or-no-question] uses our
|
||||||
old friend the @scheme[->] contract combinator. Just like
|
old friend the @scheme[->] contract combinator. Just like
|
||||||
|
|
|
@ -348,7 +348,7 @@ The arguments implement the port as follows:
|
||||||
@scheme[peek-byte-or-special], then the @exnraise[exn:fail:contract].}
|
@scheme[peek-byte-or-special], then the @exnraise[exn:fail:contract].}
|
||||||
|
|
||||||
@begin[
|
@begin[
|
||||||
#readerscribble/comment-reader
|
#reader scribble/comment-reader
|
||||||
[examples
|
[examples
|
||||||
;; A port with no input...
|
;; A port with no input...
|
||||||
;; Easy: @scheme[(open-input-bytes #"")]
|
;; Easy: @scheme[(open-input-bytes #"")]
|
||||||
|
@ -942,7 +942,7 @@ procedures.
|
||||||
}
|
}
|
||||||
|
|
||||||
@begin[
|
@begin[
|
||||||
#readerscribble/comment-reader
|
#reader scribble/comment-reader
|
||||||
[examples
|
[examples
|
||||||
;; A port that writes anything to nowhere:
|
;; A port that writes anything to nowhere:
|
||||||
(define /dev/null-out
|
(define /dev/null-out
|
||||||
|
|
Loading…
Reference in New Issue
Block a user