| commit | 73efa510c7f56773ad80a3d7dd4311e9f624e517 | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Wed Mar 26 20:01:47 2008 +0000 |
| committer | Dani Megert <dmegert> | Wed Mar 26 20:01:47 2008 +0000 |
| tree | 57350158777b7a80ecc0d5f3565e543ec3a10a2d | |
| parent | 087f5a966a7e7426411227a31dd0e71e2e30cff7 [diff] |
Committed Markus's patch to fix bug 223892: [hovering] Should make sure that F2 hovers can be closed with Esc