Maybe it came out wrong, but before I even submitted the PR, I stressed that I have no objection of server-side implementation that you proposed @elextr, and mine will be only be a temporary solution before yours' done.
Anyway, I don't know Python, so this is as far as I can help. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany-themes/pull/30#issuecomment-504712301
