class tree view bug

[Falk Brettschneider]

Hi,

Given:
 the selection bar of the class tree is located at any method, but the
appropriate source in the file widget isn't shown because the user has
scrolled to another position by using the arrow keys.

Now I want to return to that selected method from the class tree view
and click on that method again in the class tree. BUT NOTHING HAPPENS! I
would expect such a mouse click scrolls the file again to the requested
position.

-- 

Ciao,
--Falk