From: Steve J. <ste...@wi...> - 2009-08-24 17:59:53
|
On 23-Aug-09, at 9:40 PM, Ben Williams wrote: > Has anyone else noticed some buggy behaviour with the sessions plugin > and its toolbar? It used to be fine to put it in the main toolbar, up > until a few versions ago (a few versions ago of jEdit, I mean, not of > the sessions plugin :) ). I'm not sure exactly when this behaviour > started, but it was somewhere around the 4.3pre15-ish timeframe I > think. Yes, this is a known issue. For more info, you can refer to this plugin bug entry: http://sourceforge.net/tracker/?func=detail&atid=565475&aid=2114751&group_id=588 Prior to the release of jEdit 4.3pre16 a couple of core API's that govern interaction with jEdit's main toolbar were changed. The one that affects the Sessions plugin, View.getToolBar(), used to return jEdit's main toolbar; it now returns a component *containing* jEdit's main toolbar. The problem occurs because adding a new component to the container has a different effect than adding a component to the toolbar itself. I reported this issue on the devel list back in March and presented a couple of options that I felt would fix the problem. Neither of the options was adopted, and the issue with these core API's has not yet been addressed. I had hoped to have some time to do a bit of hacking on the core to try to come up with a workable solution, but my business has been so busy this year that I haven't been able to find the time (sorry). Steve Jakob |