MrOtherGuy 0cc24d4211 compact extensions panel: reduce menuitem padding a bit ...

This patch also makes the menu button a bit bigger because it was much
smaller than menuitem height.

2024-04-12 16:56:25 +03:00

983 B

Raw Blame History

View Raw