Closed robot-ave closed 2 years ago
Loving this theme so far, but having a small issue with the panel right-click menu (first screenshot below). The items in the list are kind of short and close together, making it difficult to select a specific option quickly...
Any possibility of giving each menu item some extra padding, similar to screenshot 2?
Thanks :-)
Hi, @ThatGrimshaw, I'm going to check to fix the problem, but I'm curious, what version of Gnome are you using? because I've tried on Manjaro Gnome with all the latest updates and Fedora, which is my main OS, and I'm not seeing this problem.
Thanks for reporting and for the support. };-]
After taking another look, it seems that my gnome-shell-theme.gresource file got corrupted which was causing the issue. Fixed after reinstalling gdm and dconf reset -f /org/gnome
Looks great now:
So, disregard me -- user error :,-)
After taking another look, it seems that my gnome-shell-theme.gresource file got corrupted which was causing the issue. Fixed after reinstalling gdm and
dconf reset -f /org/gnome
Looks great now:
So, disregard me -- user error :,-)
Great, thanks for reviewing and clarifying, as soon as I can, I will make an update that resolves other small errors. };-]
Loving this theme so far, but having a small issue with the panel right-click menu (first screenshot below). The items in the list are kind of short and close together, making it difficult to select a specific option quickly...
Any possibility of giving each menu item some extra padding, similar to screenshot 2?
Thanks :-)