Closed ajklotz closed 6 days ago
I think I'll do this, but I do wonder if it could be annoying to people, and should thus be a preference. And before you say 'Yes!', mind that adding a preference is something I want to do as rarely as possible, and something needing to be a preference more often than not makes me just not add it.
I've decided that #164 will be a better approach to this problem, so I'm closing this suggestion.
Suggestion