#246 Event-B editor jump at the top when gaining mouse focus

[mathieu Clabaut]

With v0.9.1 (build on eclispe 3.4) , on linux, when editing a model, if the focus leave the editor, then the editor jump at the top of the component when gaining it back.
It makes it unusable !
It wasn't the case on 0.9.0 build with eclipse 3.3.

[Laurent Voisin]

The problem initially occurred on a Linux machine with the "focus follows mouse" option set.

On a Mac platform, the focus can be changed from one view or editor to another by clicking on the view or editor tab (upper left corner).

This problems occurs both in the editor and the Properties view.

[mathieu Clabaut]

Seems to appear also on 0.9, according to Aurélien.

[Aurélien GILLES]

fixed and added to CVS