Ha! I didn't notice identifier in line 6, sorry. `type` works well, the other two options look worse in my opinion, but at least they would also be different from plain text. Should I close this and submit a new pull request with these two modifications?
-- 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/pull/1838#issuecomment-383500889
