[jedit:plugin-bugs] #1924 XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1924/03b347bb8d34b55f89148fd9a15850090892ec27.plugin-bugs@jedit.p.sourceforge.net> |
- **summary**: XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's startup folder --> XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory - Description has changed: Diff: ~~~~ --- old +++ new @@ -1,4 +1,3 @@ - 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 ~~~~ - **Group**: --> --- **[plugin-bugs:#1924] XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory** **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