[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