[ jEdit-devel ] [jedit:patches] #602 fix #4048 file browser first column data not following header when moving

[Roman T. <tso...@us...>]

Please, ignore this ticket. Description inaccurate.


---

** [patches:#602] fix #4048 file browser first column data not following header when moving **

**Status:** open
**Group:** 
**Created:** Fri Oct 20, 2017 05:49 PM UTC by Roman Tsourick
**Last Updated:** Fri Oct 20, 2017 05:49 PM UTC
**Owner:** nobody
**Attachments:**

- [fix-4048-file-browser-first-column-data-not-following-header-when-moving.patch](https://sourceforge.net/p/jedit/patches/602/attachment/fix-4048-file-browser-first-column-data-not-following-header-when-moving.patch) (5.7 kB; application/octet-stream)


I'd like to offer a patch which not directly fixes but actually prevents the bug. As far as I understand after learning the code, the first column (Name) is a kind of exclusive thing which is not even intended to be moved, so the logical step is to fix the column at the place. The patch involves a hook which is probably not the most elegant way to do the work, but I couldn't find any better solution.


---

Sent from sourceforge.net because jed...@li... 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.