[jedit:patches] #643 Patch for #4133 deleting an expanded directory in VFSBrowser results in IO error dialog

Jim LeFevre via jEdit-devel <[email protected]> Sun, 12 Jan 2025 16:19:19 -0000
Newsgroups gmane.editors.jedit.devel
Message-ID <[email protected]>


---

**[patches:#643] Patch for #4133 deleting an expanded directory in VFSBrowser results in IO error dialog**

**Status:** open
**Group:** 
**Created:** Sun Jan 12, 2025 04:19 PM UTC by Jim LeFevre
**Last Updated:** Sun Jan 12, 2025 04:19 PM UTC
**Owner:** nobody
**Attachments:**

- [4133.patch](https://sourceforge.net/p/jedit/patches/643/attachment/4133.patch) (1.3 kB; text/x-patch)


This patch avoids the error message and causes the deleted directory to disappear from the browser.


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/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