Looks like a nice solution to me. Should you hint more directly in the tooltip that the user should look at Project>Properties? e.g. "These preferences can be overridden by project properties"
-- 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-534109232
