MediaWiki:Gadget-GrAnnotations.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 739: | Line 739: | ||
if (window.getSelection) window.getSelection().removeAllRanges(); | if (window.getSelection) window.getSelection().removeAllRanges(); | ||
if (q && window.showSearchDialog) { setTimeout(function(){ window.showSearchDialog(q); }, 50); } | if (q && window.showSearchDialog) { setTimeout(function(){ window.showSearchDialog(q); }, 50); } | ||
}); | }); | ||