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.