The font size in popup menu is a little small. How can I modify it?

[Michaelzhouisnotwhite]

The font size in popup menu is a little small. How can I modify it?

[spsf64]

@Michaelzhouisnotwhite I think you need to increase you font size.

@vinceliuice please, don't change this feature, I like compact menus! That's why I use this theme

[vinceliuice]

删除这行：

https://github.com/vinceliuice/Mojave-gtk-theme/blob/eedc867de94c222aee71eb89220327ed3d68e8fa/src/sass/gnome-shell/common/_popovers.scss#L25C1-L25C25

[vinceliuice]

还有这行：

Mojave-gtk-theme/src/sass/gnome-shell/_common.scss

Line 28 in eedc867

@include font(body-1);

[vinceliuice]

然后重新安装主题

[Michaelzhouisnotwhite]

还有这行：

Mojave-gtk-theme/src/sass/gnome-shell/_common.scss

Line 28 in eedc867

@include font(body-1);

那菜单选项之间的间隔怎么改呢？

[vinceliuice]

我更新啦一下，缩短了这个间隔高度

[Michaelzhouisnotwhite]

我更新啦一下，缩短了这个间隔高度

感觉变化不大诶

[vinceliuice]

你的 gnome 版本是多少

[Michaelzhouisnotwhite]

你的 gnome 版本是多少

3.28.2