Re: new javascript for syntax selection

On 27 Jul 2008, at 22:45, Sandro Hawke wrote:

>> I can select and de-select OK using Firefox 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.

I would strongly prefer this. I was pretty surprised to discover that  
checking a box attached to a specific section caused all the other  
sections to change too.

> 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.)

This would also be my strong preference, i.e., a control at the top  
that affects the whole document; check boxes that only change the  
relevant example.


>      -- Sandro
>> Ian
>> On 23 Jul 2008, at 04:11, Sandro Hawke wrote:
>>> Try out the new syntax check boxes here:
>>> (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 Monday, 28 July 2008 02:13:08 UTC