Menu

#395 XML: offer way to specify xml.root once in a directory

open
nobody
None
5
2020-02-12
2020-02-11
Alan Ezust
No

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.

Discussion

  • Conal Tuohy

    Conal Tuohy - 2020-02-12

    What do you mean by "xml.root"?
    Can you please give an example?

     

    Last edit: Conal Tuohy 2020-02-12
    • Alan Ezust

      Alan Ezust - 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

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.