I have installed your patches into CVS. I did not install the
dbadmon.dsl patch, because I felt that the output looked slightly worse
formatted than before. Since admonitions are supposed to stand out,
and are formatted accordingly, I think a little extra space around them
is better than too little space around them.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
66163 fix example
Logged In: YES
user_id=377574
Here is a snippet that I changed from dbverb.dsl to fix the
extra spacing
after a screen in a listitem:
(define ($verbatim-display$ indent line-numbers?)
(let* ((width-in-chars (if (attribute-string (normalize
"width"))
(string->number
(attribute-string (normalize "width")))
%verbatim-default-width%))
(fsize (lambda () (if (or (attribute-string
(normalize "width"))
(not %verbatim-size-factor%))
(/ (/ (- %text-width%
(inherited-start-indent))
width-in-chars)
0.7)
(* (inherited-font-size)
%verbatim-size-factor%))))
(vspace (if (INBLOCK?)
0pt
(if (INLIST?)
0pt ;; this is the line that I changed
%block-sep%))))
(make paragraph
use: verbatim-style
space-before: (if (and (string=? (gi (parent))
(normalize "entry"))
(absolute-first-sibling?))
0pt
(+ vspace 1pt)) ;; this is the line
I changed
space-after: (if (and (string=? (gi (parent))
(normalize "entry"))
(absolute-last-sibling?))
0pt
vspace)
font-size: (fsize)
line-spacing: (* (fsize) %line-spacing-factor%)
start-indent: (if (INBLOCK?)
(inherited-start-indent)
(+ %block-start-indent%
(inherited-start-indent)))
(if (or indent line-numbers?)
($linespecific-line-by-line$ indent line-numbers?)
(process-children)))))
Logged In: YES
user_id=377574
I attached a patch for admons inside listitems to the
bugzilla report.
Logged In: YES
user_id=178336
I have installed your patches into CVS. I did not install the
dbadmon.dsl patch, because I felt that the output looked slightly worse
formatted than before. Since admonitions are supposed to stand out,
and are formatted accordingly, I think a little extra space around them
is better than too little space around them.