[jedit:plugin-bugs] #1928 Can't Move Tab Positions in Jedit 5.7.0 + Eclipse Adoptium Java 21.0.4
Alan Ezust via jEdit-devel <[email protected]> Sun, 29 Sep 2024 14:08:04 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1928/06c91415e19855a5246084bf54feff00c0ed5439.plugin-bugs@jedit.p.sourceforge.net> |
Ticket moved from /p/jedit/bugs/4136/ --- **[plugin-bugs:#1928] Can't Move Tab Positions in Jedit 5.7.0 + Eclipse Adoptium Java 21.0.4** **Status:** open **Group:** normal bug **Labels:** tab **Created:** Wed Sep 25, 2024 11:17 PM UTC by dbareis **Last Updated:** Sun Sep 29, 2024 02:08 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