close tooltip after Active.action, to make it look more interactive (notably due to lack of dynamic update);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50915 12de8ea66f54b707d46b0711f8e9d5cd1c63490b
delay to give users a chance to see what was happening, even with auto_close enabled;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50930 23601c59f347aab5559717cecd352300c22a7190
tuned signature (again) -- keep Properties more generic;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50946 8ad3e376f63e2b999cc45b031f1c477afba9cfda