1453411 - Separators in menus don't have margins

Status: NEW

(Core :: Widget: Gtk, defect, P5)

Description

[Vlad Zahorodnii [:zzag]]

Attachment: separator.png

User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:61.0) Gecko/20100101 Firefox/61.0
Build ID: 20180411100123

Steps to reproduce:

Create a gtk theme with only a single rule:

```css
/* gtk.css */

separator {
  margin-top: 100px;
  margin-bottom: 3px;
  background-color: red;
}
```


Actual results:

Separators don't have margins. See attached screenshot.


Expected results:

Separators should have margins.

Comment 1

[Firefox Bug Husbandry Bot]

https://bugzilla.mozilla.org/show_bug.cgi?id=1552613

Comment 2

[BugBot [:suhaib / :marco/ :calixte]]

The bug has a release status flag that shows some version of Firefox is affected, thus it will be considered confirmed.

Comment 3

[code]

Attachment: ff.png

Is someone can explain to me what is this new menu with Firefox 114?

Comment 4

[code]

to celebrate the imminent end of Firefox in the US (or not) https://designsystem.digital.gov/documentation/developers/#browser-support-2
ping?