I thought about this a couple of days and still don't have a strong opinion on it.

I think I've seen both variants (without and with space) on colleagues' screens who are using various other IDEs.

In the end, it's just a matter of taste and whatever default we choose, it might not match the users' preference. So I'd vote for keeping it as is as.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.