203a5dff74
There's actually no good reason to filter javascript links as we might want to click them (or copy their URL) just like any other link - this fixes #2404. With that being gone, we don't need FILTERS at all anymore, as we can check for existence of the href attribute in the CSS selector instead. |
||
---|---|---|
.. | ||
browser | ||
commands | ||
completion | ||
config | ||
javascript | ||
keyinput | ||
mainwindow | ||
misc | ||
scripts | ||
utils | ||
test_app.py |