Re: XML Plugin: Proposal for an unknown DTD dialog box
Slava Pestov <slava <at> jedit.org>
2002-08-01 19:36:28 GMT
Sorry for the late response. I will integrate your work into the next
version of the XML plugin.
On Tue, 2002-07-09 at 06:00, Chris Stevenson wrote:
> Attached is an implementation of an unknown DTD dialog box. I know this
> is a TODO for the XML plugin so I thought I'd have a go at it.
>
> It is attached as a tgz, not a patch, since there are a couple of files
> in there that are not in CVS - just extract it in your jars/XML source
> directory and rebuild.
>
> Details
> =======
>
> If the user opens an XML file with a DOCTYPE definition of an unknown
> DTD a dialog pops up showing the PUBLIC and SYSTEM ids for the DTD.
>
> The user can choose to load the DTD from the network, in which case the
> DTD is saved locally in the user's .jedit/dtds directory. The local
> version is then used for this DTD (including after restart)
>
> The user can choose to browse for a DTD already installed on their local
> system. In this case the DTD is not copied, but the file's location is
> remembered (including after a restart)
>
> There is a new panel in global options that shows the PUBLIC ids of the
> user defined DTDs. The user can choose to reload a DTD if it is a
> network DTD.
>
> Notes
(Continue reading)