Hello! I did not know how to open a new bug, so will post it here. Please pull my commit
as it causes problems in gnuradio and some other apps.
diff --git a/src/gtk2/widgets/menu b/src/gtk2/widgets/menu
index aaff5b1..c76ed92 100644
--- a/src/gtk2/widgets/menu
+++ b/src/gtk2/widgets/menu
@@ -270,7 +270,7 @@ style "separator_menu_item"
{
function = BOX
file = "../assets/line-h.png"
- border = { 1, 1, 1, 1 }
+ border = { 0, 0, 0, 0 }
stretch = TRUE
}
}