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 the dropdown menu margin.
This commit is contained in:
parent
3e48a80d85
commit
9f402d15bc
@ -1917,7 +1917,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