@ -31,10 +31,15 @@
</div>
</search>
var showedHelp = false;
function showHelp() {
if (!showedHelp) {
showedHelp = true;
this.opts.showHelp = true;
this.update();
}
function clearHelp() {
this.opts.showHelp = false;