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, view it on GitHub, or mute the thread.