Archive for April, 2008

Allow to move mouse into hover; or how to make it stick

Wednesday, April 30th, 2008

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…)

You are currently browsing the JDT/UI and Text Team Blog weblog archives for April, 2008.

  • Pages

  • Archives

  • Categories