On Wed, Dec 25, 2013 at 01:35:38PM +0100, Alexander Burger wrote:
> Hi Jon,
> thanks for the input!
> > When I tap/click on a menu and the menu drops down, I would like the menu
> > to go away if I tap/click outside the menu, on "neutral ground".
> This is difficult, if not impossible. The menu is implemented as anchor
> elements in an unordered list. Clicking outside it doesn't generate an
> break the fundamental rule that the GUI should also work in an
Atually, this is not a problem. A JS add-on implementing this doesn't
harm any other functionality.
So I went ahead and build a handler (triggered by a new function 'bar?'
in "@lib/xhtml.l"), which closes the menu upon a tap/click in the main