> Ok I will work this way for now. I have closed the outline view and
> restarted Eclipse and the problem is gone.
>
> Thank you very much for replying so fast. I hope though that you
> will find a fix for that some day, but since it is still in
> progress, I can wait ;-).
If you happen to get to this before I do, here's an HTML dump of an
outline view. If I had to suspect something offhand, it would be the
scroll operation trickery at the bottom that I do to try to maintain
the scroll position across outline changes ...
This archive was generated by hypermail 2.0.0 : Fri Oct 12 2007 - 08:58:45 EDT