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