Christian Medel
Christian Medel
This should be fixable with SVG icons, but I'm a bit busy at the moment
You can remove headerbar padding, but that would also stretch all other headerbar buttons. If there wasn't a border around them it wouldn't be an issue. Maybe it's time I...
I'll see what I can do next time I work on Cinnamon themes
@stefan-niedermann to inspect Cinnamon, there is this tool called 'looking glass', I think it's launched with the `lg`. However, if I remember correctly that dialog is a GTK app, launched...
Also, I want to say I'm unsure of the future of the project, mostly because of the potential changes to GNOME and the uncertainty on what that means for GTK...
do you have any example of themes that have snap versions available? Heard that's a lot of work
What distro are you running? GnoMenu isn't currently supported but if it turns out it's easy I can add it
yes, it's gnoMenu but an older version. We also made some changes to the theme since then, hence why it looks different
Note to self: [this](https://github.com/The-Panacea-Projects/Gnomenu/blob/44700a14fc6042168c50cf1ac46b46fd6e758e62/extension.js#L175) could be useful in creating gnoMenu-specific style rules
do you know if any zorin resource is publicly available? ex. their shell theme