Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Project indentation preferences are stored separately, and appear to override editor preferences.
Yes when the project has that preference, only some preferences are available for override in projects.
Probably since "Tab key indents" is not overidable by the project its reasonable to say that "Backspace unindents" need not be either. They are not the sort of thing that is project specific, they are user specific, whereas things like if indents are space or tab definitely is project specific.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.