tree 57350158777b7a80ecc0d5f3565e543ec3a10a2d
parent 087f5a966a7e7426411227a31dd0e71e2e30cff7
author Dani Megert <dmegert> 1206561707 +0000
committer Dani Megert <dmegert> 1206561707 +0000

Committed Markus's patch to fix bug 223892: [hovering] Should make sure that F2 hovers can be closed with Esc