mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-15 21:20:09 +00:00
Adwaita: add a comment
Add a comment pointing to the related bug for dropdown menu margin.
This commit is contained in:
parent
e9ee313be2
commit
ebcf17debd
@ -1898,7 +1898,7 @@ menubar,
|
||||
menu,
|
||||
.menu,
|
||||
.context-menu {
|
||||
margin: 4px;
|
||||
margin: 4px; // See https://bugzilla.gnome.org/show_bug.cgi?id=591258
|
||||
padding: 2px 0px;
|
||||
background-color: $menu_color;
|
||||
border: 1px solid $borders_color; // adds borders in a non composited env
|
||||
|
Loading…
Reference in New Issue
Block a user