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.
Sign In or Register to comment.