Answering my own question: it seems we need to: If I check "verbose" in the instance scope (workspace-wide setting), project scope gets that preference as well, even though I remove and save the change. Next time I open project properties, it's back!