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 or view it on GitHub: https://github.com/geany/geany/issues/3462#issuecomment-1528818008 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3462/1528818...@github.com>