Re: new javascript for syntax selection

> I tried them and they work in the OWL primer (WIKI version).
> 
> The problem with UCR was that the java script for the show/hide buttons was n
> ot copied correctly from the WIKI version to the frozen HTML version and cons
> equentely the buttons did not work.

The problem was the the javascript was in the ignored section of the
document, not in the docbody div.   I've fixed it.

The motivation for the check-box work was comments on the OWL Primer.
Several readers were unhappy with having the controls only at the top of
the document.

     -- Sandro

Received on Wednesday, 23 July 2008 14:04:33 UTC