Re: [ jEdit-devel ] [ jedit-Bugs-470208 ] AntFarm1.0 / Sessions0.7.1

[<dmo...@gm...>]

Hi Sergey,

From: Sergey V. Udaltsov <ser...@cl...>
Sent: Tuesday, October 16, 2001, 11:20:09 AM
>> I can't reproduce this, and I can't understand why this should occur:
> Actually I had this situation (double session toolbar) before Sessions
> 0.7.2. Now I am unable to reproduce it too. Funny enough. Probably the
> fixing was the side effect of my changes=3F:)

No, because I didn't upgrade to your changes yet. I'm still using 0.7.1.

Dirk.