If you are a user of our latest milestone build 3.4 M6a (you should!) you might have noticed that some of our hovers have changed their behavior: It is now possible to make them sticky by moving the mouse into the hover. This is much more than just a small enhancement: For us this is important new infrastructure and for you it will not less than change the way you will interact with the Java editor in many areas.
(more…)