tree 458e4fd3c6b9d580fc74f5f27cb03d65a4520fc9
parent 93995914cc61f737da095fe6cbafa51c4c86f0de
author Dani Megert <dmegert> 1203424056 +0000
committer Dani Megert <dmegert> 1203424056 +0000

Committed Markus's patch to fixed bug 219334: [hovering] Increase target area for resizing Javadoc hovers