On Wed, Feb 27, 2019 at 12:34 PM Matthew Flatt <mfl...@cs.utah.edu> wrote:
>
> At Wed, 27 Feb 2019 12:03:33 -0500, David Storrs wrote:
> > I have a .scrbl file with the following:
> >
> > @verbatim{
> > ...stuff...
> > | #:rule (rule-name #:transform field-id
> > (field-id ...+) (code ...+))
> > }
> >
> > My expectation is that this will render, well, verbatim. Instead, it
> > adds a line break so that I get:
> >
> > | #:rule (rule-name #:transform field-id (field-id
> > ...+) (code ...+))
> >
> > Am I not understanding something?
>
> The line breaks are added by a browser, because `verbatim` doesn't
> generate anything that disables line wrapping.
I'm pretty sure that this is not coming from my browser, but is
instead down to the pixel-based max-width in manual.css
>
> Probably it would make sense to have `verbatim` use a style that
> disables line breaks through `white-space: nowrap` CSS, as form like
> `racketblock` do. That would address line breaking for HTML output, at
> least.
>
> Possibly, this wasn't done before because overflowing a column often
> means that things need to be written to avoid the overflow, anyway.
>
> I can make this change, unless someone knows a reason that it wouldn't
> be a good idea.
>
> > Separately, a comment on the HTML that is generated from Scribble:
> > [...]
> > It's fine to do this:
> >
> > .maincolumn { font-family: monospace }
> > .refpara { font-family: monospace }
>
> That format doesn't achieve the goal of having the word "monospace"
> appear once so that it can be changed in one place.
>
> > Also, it would be really spiffy if the generated HTML was
> > pretty-printed. Having it minified seems unnecessary and
> > disadvantageous.
>
> The generated HTML is not specifically minified. Instead, the problem
> would be to add whitespace that isn't there o start with.
> Unfortunately, the library that prints the representation used for HTML
> doesn't have enough information to know where whitespace can be added
> without changing the meaning of the document.
>
> --
> 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.
--
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.
