Hugo Locurcio 3dab891691 Tweak PopupMenu item spacing in the editor theme ...

- Increase spacing between items for easier clicking with the mouse.
- Increase lateral margins for better visual appearance.
- Decrease margin at the top and bottom to compensate for the increased
  per-item height.

2022-08-05 11:29:12 +02:00

108 KiB

Raw Blame History

View Raw