Upgrade StorageZotero 7: Change Window Decoration under Linux?
Dear all,
Thanks a million for the great update. I very much appreciate the changes in the layout and the performance improvements.
I use Zotero under Linux Mint 21.3 (codebase is Ubuntu) and in Zotero 6 the window decoration (borders and button colours etc.) changed according to the overall window style that my window manager used. With Zotero 7, the window decoration of the main window and the reader seem to be hard-coded (first attached image), while other windows (e.g. for "reports") do follow my theme (second image).
This incongruency is only a minor stylistic nuisance but I wonder if it would be possible to make all window decorations follow one's selected theme under Linux. Also because the current default is a bit thick for my taste (a lot of space around the icons). Or did I miss a chance to tweak it somewhere?
https://s3.amazonaws.com/zotero.org/images/forums/u1330759/b6yqv6t03zt716vfdaqu.png
https://s3.amazonaws.com/zotero.org/images/forums/u1330759/7tlqionhmegm5np5130j.png
Thanks a million for the great update. I very much appreciate the changes in the layout and the performance improvements.
I use Zotero under Linux Mint 21.3 (codebase is Ubuntu) and in Zotero 6 the window decoration (borders and button colours etc.) changed according to the overall window style that my window manager used. With Zotero 7, the window decoration of the main window and the reader seem to be hard-coded (first attached image), while other windows (e.g. for "reports") do follow my theme (second image).
This incongruency is only a minor stylistic nuisance but I wonder if it would be possible to make all window decorations follow one's selected theme under Linux. Also because the current default is a bit thick for my taste (a lot of space around the icons). Or did I miss a chance to tweak it somewhere?
https://s3.amazonaws.com/zotero.org/images/forums/u1330759/b6yqv6t03zt716vfdaqu.png
https://s3.amazonaws.com/zotero.org/images/forums/u1330759/7tlqionhmegm5np5130j.png
