Re: new javascript for syntax selection

> I can select and de-select OK using Firefox 2.0.0.15 on a MacBook Pro  
> (Intel).

(I haven't gone back to figure out the problem for non-firefox users.)

> The scrolling is a bit weird/annoying at times (it scrolls the screen  
> so that the syntax selection box is at the top), but I don't know if  
> there is much you can do about that.

Yeah, there's a theoretical problem there: when you select or deselect a
box, it changes the size of the document, quite a lot, so you get
totally lost (if any of the changes are above you in the document).  So
I made it add an anchor and jump to that anchor.    I'd be interested in
better ideas.    

(I suppose one option would be to have a section with a scroll bar, for
each example, that never changes in size.  Another option would be to
have the check boxes just change that example.   Maybe there could also
be a button that said "apply these preferences everywhere in this
document" (more briefly), and that one would lose your place.   Or maybe
at the very top there would be a control that affect all the examples,
and the other controls would only affect their particular example..... I
kind of like that.)

     -- Sandro

> Ian
> 
> 
> On 23 Jul 2008, at 04:11, Sandro Hawke wrote:
> 
> >
> >
> > Try out the new syntax check boxes here:
> >   http://www.w3.org/2007/OWL/wiki/Primer#Simple_Facts
> >
> > (I'm trying it for OWL first, in the hope of not confusing RIF
> > publication too much, if it doesn't work out right.)
> >
> >      -- Sandro
> >

Received on Sunday, 27 July 2008 21:46:23 UTC