> Of course that makes perfect sense, but shouldn't HELP still
> understand that refinements coming after /local are part of the
> interface and display them?

I think it should.  when duplicating an arg block which has a local in it, it
can be a pain to have to make sure that you INSERT new args before /local
(placing the local refinement to it) instead of just appending to it...

intermediate users could be duped...


-MAx

-- 
To unsubscribe from this list, just send an email to
[EMAIL PROTECTED] with unsubscribe as the subject.

Reply via email to