[jedit:plugin-bugs] #1924 XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's startup folder
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- **[plugin-bugs:#1924] XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's startup folder** **Status:** open **Group:** **Created:** Tue Aug 08, 2023 03:47 PM UTC by Alan Ezust **Last Updated:** Tue Aug 08, 2023 03:47 PM UTC **Owner:** nobody I use XMLPlugin to edit docbook files, such as jEdit's documentation. Editing a file means that schema info is cached in an XMLPlugin directory in whichever directory I started jedit from. So I got lots of directories that look like this: /home/ezust/XMLPlugin/docbook-article-4.4.vm /home/ezust/XMLPlugin/html-frameset.vm /home/ezust/XMLPlugin/html-strict.vm /home/ezust/XMLPlugin/html-transitional.vm /home/ezust/XMLPlugin/schema-relax-ng.vm /home/ezust/XMLPlugin/schema-xsd.vm /home/ezust/XMLPlugin/xhtml-frameset.vm /home/ezust/XMLPlugin/xhtml-strict.vm /home/ezust/XMLPlugin/xhtml-transitional.vm /home/ezust/XMLPlugin/xslt-1.0.vm /home/ezust/XMLPlugin/xslt-2.0.vm jEdit 5.6.0 XMLPlugin 3.0.8 OpenJdk19, Ubuntu Linux 23.04 --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel