Looks a good idea. Whilst @codebrainz has a point, that minor inconvenience seems acceptable given that even if the user could edit a "normal" preference it will have no effect until the project is closed anyway.
-- 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/2316#issuecomment-534292471
