Workaround: fixes hiding a tooltip with the keyboard or mousewheel

  This is a complex problem where it is not clear whether the bug lies
in dillo, fltk, or in their interaction.
  Tooltip handling is fuzzy in FLTK, and there are glitches in it; trying
to "fix" it inside dillo produces partial solutions. OTOH, although
implementing custom tooltip handling adds complexity, it provides a solution
that so far works in all the testcases.

0 files changed, 0 insertions, 0 deletions