b8f6f5db8d
The reason is that dummy links like <a href="#"> cause the built-in tooltip pop up on hover which is just useless noise |
||
---|---|---|
.. | ||
events.js | ||
hotkeys.js | ||
popup.css | ||
popup.js | ||
preinit.js | ||
search.css | ||
search.js |