commit | 50ee44d059bcd2d7ea7c0dd65db65b932ff0e80a | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Tue Feb 19 12:27:36 2008 +0000 |
committer | Dani Megert <dmegert> | Tue Feb 19 12:27:36 2008 +0000 |
tree | 458e4fd3c6b9d580fc74f5f27cb03d65a4520fc9 | |
parent | 93995914cc61f737da095fe6cbafa51c4c86f0de [diff] |
Committed Markus's patch to fixed bug 219334: [hovering] Increase target area for resizing Javadoc hovers