RE: [xml-dev] Auto-completion in editors (RE: [xml-dev] ANN: XML
Origin, the XML Editor & XSLT Debugger Released)
by Nicolas LEHUEN other posts by this author
Jan 29 2002 9:29AM messages near this date
Re: [xml-dev] Auto-completion in editors (RE: [xml-dev] ANN: XML Origin, the XML Editor & XSLT Debugger Released)
|
RE: [xml-dev] xmlns:xml = "???"
I don't usually open hundred megabytes documents in an editor, and if I had
do so, I'm OK if the editor disable its auto-completion feature.
Regards,
Nicolas
> -----Message d'origine-----
> De : Paul Prescod [mailto:paul@[...].net]
> Envoye : lundi 28 janvier 2002 22:51
> A : xml-dev@[...].org
> Objet : Re: [xml-dev] Auto-completion in editors (RE:
> [xml-dev] ANN: XML
> Origin, the XML Editor & XSLT Debugger Released)
>
>
> Michael Kay wrote:
> >
> >...
> >
> > Surely an XML editor has to detect start tags and end tags
> as they are
> > typed, and if it detects start tags, it is trivially easy to
> maintain a
> > stack of open start tags? And the cost of doing so is
> unrelated to the size
> > of the document (only to the depth of nesting)?
>
> Well obviously there are a variety of architectural choices that will
> influence the difficulty of adding one more feature. Still, I think I
> can answer this particular question generically by saying, what happens
> when the user scrolls a hundred megabytes down in the document and
> inserts the cursor?
>
> Paul Prescod
>
> -----------------------------------------------------------------
> The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
> initiative of OASIS <http://www.oasis-open.org>
>
> The list archives are at http://lists.xml.org/archives/xml-dev/
>
> To subscribe or unsubscribe from this list use the subscription
> manager: <http://lists.xml.org/ob/adm.pl>
>
-----------------------------------------------------------------
The xml-dev list is sponsored by XML.org <http://www.xml.org> , an
initiative of OASIS <http://www.oasis-open.org>
The list archives are at http://lists.xml.org/archives/xml-dev/
To subscribe or unsubscribe from this list use the subscription
manager: <http://lists.xml.org/ob/adm.pl>
|