-
Committer:
Tarmac
-
Author(s):
tpeeters
-
Date:
2013-12-03 19:48:31 UTC
-
mfrom:
(878.1.14 panel-hideTimer)
-
Revision ID:
tarmac-20131203194831-jqmyd1gjvjsbvciy
Reset hide timer when user interacts with toolbar or toolbar buttons. Fixes: https://bugs.launchpad.net/bugs/1249031.
Approved by PS Jenkins bot, Christian Dywan.