In a recent version of the BufferTabs plugin (I'm using v1.1.1 on jEdit 4.3pre17), the tick-box in the Plugins menu has been replaced by a sub-menu. But the only other item on the sub-menu is "Toggle Docks", which has nothing whatsoever to do with the BufferTabs plugin.
The net effect is that the tick-box is harder to access, which is particularly annoying, as disabling and re-enabling the...
2009-12-07 17:00:36 UTC in jEdit
