Except two minor remarks, this is great! Tested and works very well.
I'd expected that it required more code to make the filter per document but happy to be proven wrong :D.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3055#issuecomment-1003704513
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3055/c1003704513@github.com