Turns out re.escape also escapes spaces, so we'd need to replace '(\\ )' groups after escaping. At this point it's easier to just combine spaces before escaping the pattern. Fixes #1934. Supersedes #1935. |
||
---|---|---|
.. | ||
browser | ||
commands | ||
completion | ||
config | ||
javascript | ||
keyinput | ||
mainwindow | ||
misc | ||
scripts | ||
utils | ||
test_app.py |