I guess in retrospect the real story is that file preference should not override global settings in the first place unless the user has explicitly changed it for the particular file. It is just confusing and strange behavior that the settings can have no effect when file-based defaults do not agree.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.