Hi Ben,
Your guess seems reasonable.
The empty line does not appear when I put the comment in one long line,
but this is ugly.
Defining the comment outside the definition works well,
so I'll use this hack as follows:
@elemtag["rearrangement" "Not important."]
@(define my-comment
(list
"Procedure "
(racket in-permutations)
" produces a sequence of "
@elemref["rearrangement" "rearrangements"]
"."))
@interaction[
(require racket)
(define (a)
(code:comment #,my-comment)
(in-permutations '(1 2 3)))
(a)]
Thanks, Jos
_____
From: Ben Greenman [mailto:benjaminlgreen...@gmail.com]
Sent: lunes, 27 de noviembre de 2017 6:44
To: Jos Koot
Cc: Racket Users
Subject: Re: [racket-users] misterious empty line
My guess is that "(define" does something special to figure out where to insert
newlines in the rendered document.
On Thu, Nov 23, 2017 at 9:13 AM, Jos Koot <jos.k...@gmail.com> wrote:
My code:
#lang scribble/manual
@(require
scribble/core
scribble/eval
racket
(for-label racket)
(for-syntax racket))
@elemtag["rearrangement" "Not important."]
@interaction[
(require racket)
(code:comment #,(list "Procedure " (racket in-permutations)
" produces a sequence of " @elemref["rearrangement" "rearrangements"] "."))
(define (a)
(code:comment #,(list "Procedure " (racket in-permutations)
" produces a sequence of " @elemref["rearrangement" "rearrangements"] "."))
(in-permutations '(1 2 3)))
(a)]
Produces the attached HTML.
Why is there a blank line following the comment within the definition?
The blank line does not appear after the comment preceding the definition.
Windows 7 Home Premium,
DrRacket, version 6.11.0.2--2017-11-12(b54ea8c5b1/a) [3m].
Language: scribble/manual [custom]; memory limit: 4000 MB.
Thanks, Jos
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscribe@
<mailto:racket-users%2bunsubscr...@googlegroups.com> googlegroups.com.
For more options, visit https://groups.google.com/d/
<https://groups.google.com/d/optout> optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
