mirror of https://github.com/GNOME/gimp.git
23a87ce4e3
The previous commit did fix one such reason (multiple separators next to each other), but I realized there is one other case where single separators are just too big: when the menu is embedded in a GtkHeaderBar, each separator would have a weird margin of several pixels (at least in my case, probably taken from the underlying system theme). And worse, this margin was using another background color. So anyway this CSS rules takes care of not adding weird margins to menu separators. |
||
|---|---|---|
| .. | ||
| Compact | ||
| Darker | ||
| Default | ||
| Gray | ||
| System | ||
| meson.build | ||