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.