Re: [ jEdit-users ] Session plugin vs. Toolbars

[Steve J. <ste...@wi...>]

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