[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 23:20:38 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1928/8f525bdeb29ff7e44b5afbf6e0129bec40063bb2.plugin-bugs@jedit.p.sourceforge.net> |
@daleanson That is try but the plugin management is built into JEDIT and it could use a check/reminder system like many other products that have add-ons. Anyway I'll keep plugins in mind for future issues, but it would also help if JEDIT had a way to temporarily disable all plugins for testing (or a way to save/restore state). --- **[plugin-bugs:#1928] Buffertabs: Can't Move Tab Positions in Jedit 5.7.0 + Eclipse Adoptium Java 21.0.4** **Status:** closed **Group:** **Labels:** tab **Created:** Wed Sep 25, 2024 11:17 PM UTC by dbareis **Last Updated:** Sun Sep 29, 2024 11:14 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