Re: [racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread Matthew Flatt
I don't know if there's a way to suppress "scribble-common.js" except at the level of the rendering object --- that is, not something that can be done within the document, currently. Also, the initialization arguments that would replace "scribble-common.js" are probably not documented. There's a

Re: [racket-users] suppressing parts of Scribble (HTML) output

2020-07-02 Thread Shriram Krishnamurthi
Oh my gosh, this is *exactly* what I need! Thank you!!! -- 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. To view this

[racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread Shriram Krishnamurthi
How does one suppress scribble-common.js? I really don't understand why the file loads for all Scribble langs — it contains things like search box support for documentation! In addition, it takes over the window.onload, overriding any previous content. About this, it has the following odd

Re: [racket-users] suppressing parts of Scribble (HTML) output

2020-07-02 Thread Matthew Flatt
Does the `'no-toc+aux` style property help at all? For example, #lang scribble/manual @title[#:style '(no-toc+aux)]{Example} Some content. should render with nothing on the left. At Thu, 2 Jul 2020 18:47:19 -0700 (PDT), Shriram Krishnamurthi wrote: > I am trying to use Scribble to

[racket-users] suppressing parts of Scribble (HTML) output

2020-07-02 Thread Shriram Krishnamurthi
I am trying to use Scribble to generate HTML documents (blog-like, but not exactly, so Frog doesn't meet my needs) but would really like to eliminate the material in the left gutter (TOC). (Ideally I'd also like to suppress the author tag.) I've spent some time going through the source of Greg

[racket-users] Re: Quickscript Competition

2020-07-02 Thread Stephen De Gabrielle
*Need some ideas? *Check out some examples from quickscript-extra , and some starter ideas below. Ideas - csv->sexp or json->sexp (use existing

Re: [racket-users] Wills, plumbers, and checking if a port is closed

2020-07-02 Thread David Storrs
Doh, just realized I never responded to this. Thank you guys so much. As always, it's really appreciated. On Tue, Jun 30, 2020, 7:21 PM Ryan Culpepper wrote: > Here's a function that creates a thread that waits until a port is closed > and then prints a message: > > (define