Spacing of window control buttons on Linux
I noticed that the window control buttons are more tightly grouped compared to other applications. In the below screenshot, we have Zotero (top), Gnome Terminal (middle), and Nemo (bottom):
I don't know if this is a general issue, or if it's specific to my set up.
This is using version 7.1-beta.18+679de040e (64-bit) on Linux with the Cinnamon desktop environment and the Mint-Y-Dark-Blue theme.

I don't know if this is a general issue, or if it's specific to my set up.
This is using version 7.1-beta.18+679de040e (64-bit) on Linux with the Cinnamon desktop environment and the Mint-Y-Dark-Blue theme.