Popup menu looks weird

[Erika]

After the switch to gtk 3 the popup menu looks weird.
It seems the code uses
  menu.append(Gtk.MenuItem())
when
  menu.append(Gtk.SeparatorMenuItem())
was intended.

(I'm using terminator 1.90 on arch with xfce.)

[Stephen Boddy (stephen-j-boddy)]

I confess to being a little puzzled. You say it looks weird, but when I check all the available themes I have comparing the two, they are identical. I'm not saying it doesn't need to be changed, just wondering what strange theme you're using and how exactly it looks "weird". A screenshot would be nice :-)

[Erika (rrika)]

Here is a screenshot of what I mean.

Theme: Adwaita (from arch package gnome-themes-standard 3.22.2)

[Stephen Boddy (stephen-j-boddy)]

Committed revision 1702.

How odd. Though not surprising. Sometimes it feels like the devs like to change stuff just to keep us on our toes!

[Emilio Pozuelo Monfort (pochu)]

FTR I was seeing the same on GNOME 3.22. Thanks for the fix.