CONTROL-mouse management: handle windowDeactivated as well; some workarounds to robustify html_popup;
CONTROL-mouse management: handle windowDeactivated as well;
some workarounds to robustify html_popup;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle