[ jEdit-devel ] [jedit:bugs] #4095 Improved File Manager

[Ricardo JL R. <ric...@us...>]

---

** [bugs:#4095] Improved File Manager**

**Status:** open
**Group:** minor bug
**Created:** Tue May 26, 2020 12:39 AM UTC by Ricardo JL Rufino
**Last Updated:** Tue May 26, 2020 12:39 AM UTC
**Owner:** nobody


Hi, looking for a component to manage files, I didn't find any project that could help. I ended up creating a component for this purpose, I believe that it can eventually be useful for jEdit.
https://github.com/ricardojlrufino/JExplorerTree

I'm planning to put it in the Arduino IDE:
https://github.com/ricardojlrufino/Arduino


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.