@ -36,17 +36,22 @@
</search>
var showedHelp = false;
var waiting = false;
function showHelp() {
if (!showedHelp) {
this.opts.showHelp = true;
this.update();
if (!waiting) {
waiting = true;
window.setTimeout(
(function() {
waiting = false;
clearHelpTemp.bind(this)();
}).bind(this), 10000);
}
function clearHelp() {
showedHelp = true;