Closed Mariyo closed 2 years ago
:wave: Padding and margin can be change in settings, pick what the best suit to you.
@MartinPL i am a bit confused, which settings? Does this extension have own settings? How to find them?
Thank you
To acess setting you need to install Extensions app or GNOME Tweaks
Hello,
is it possible to optimize margin and padding of icons?
Thank you