From 14bcf9f6b81aa1699d7fdb4d705e39f7056ca24a Mon Sep 17 00:00:00 2001 From: lenemter Date: Tue, 15 Aug 2023 00:05:20 +0900 Subject: [PATCH] GTK3 menuitem: remove padding for direct children of type `label` --- src/gtk-3.0/widgets/_menus.scss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/gtk-3.0/widgets/_menus.scss b/src/gtk-3.0/widgets/_menus.scss index b06091dc..823d9251 100644 --- a/src/gtk-3.0/widgets/_menus.scss +++ b/src/gtk-3.0/widgets/_menus.scss @@ -150,6 +150,10 @@ window.popup { margin-right: rem(-6px); } } + + > label { + padding: 0; + } } separator {