Offer a way to specify xml.root= through the creation of a file that is also in that directory.
Something like a catalog file, but it specifies the default xml.root for xml files in that directory, so that it is not necessary to specify it for each file also, as we do in the jEdit users guide.
What do you mean by "xml.root"?
Can you please give an example?
Last edit: Conal Tuohy 2020-02-12
For the jEdit users guide if you look at any of the .xml docbook files that is not the root, you will see in comments, jEdit mode properties that look like this:
:xml.root=users-guide.xml:
This tells the xml parser to start parsing and validating there.
Last edit: Alan Ezust 2020-02-12