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):
https://s3.amazonaws.com/zotero.org/images/forums/u7554954/6yexoy9blgzuxt9u223f.png
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.
https://s3.amazonaws.com/zotero.org/images/forums/u7554954/6yexoy9blgzuxt9u223f.png
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.