Erm, you answered too fast, :wink: else I would have edited my question to say that for me it would be absolutely sufficient to edit a configuration file.
But the phrasing of your answer makes me curious: Is this additional UI added automatically, that is, is there no further programming needed?
If further programming in fact is needed, see my first sentence.
--- 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/1154#issuecomment-236295884