[jedit:plugin-bugs] Re: #1928 Buffertabs: Can't Move Tab Positions in Jedit 5.7.0 + Eclipse Adoptium Java 21.0.4
dbareis via jEdit-devel <[email protected]> Sun, 29 Sep 2024 22:12:04 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1928/cae19e737b3330513d449df4fa1e89b369eac35a.plugin-bugs@jedit.p.sourceforge.net> |
@ezust Good pickup on BufferTabs, your question prompted me to look at the many plugins I have installed (I can't see a way to generate a list), and about 6 were not on the latest version (including BufferTabs), after updating them, I no longer have this issue :-) Periodically or at least after an update to JEDIT it might be nice to be reminded if some plugins need updating... --- **[plugin-bugs:#1928] Buffertabs: Can't Move Tab Positions in Jedit 5.7.0 + Eclipse Adoptium Java 21.0.4** **Status:** open **Group:** **Labels:** tab **Created:** Wed Sep 25, 2024 11:17 PM UTC by dbareis **Last Updated:** Sun Sep 29, 2024 02:10 PM UTC **Owner:** nobody On Windows 11, since moving to JEDIIT 5.7, I have not been able to swap tabs to alter their ordering. --- 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