MarginWidget: Disable system background

This fixes a rendering problem on Android.

diff --git a/pv/view/marginwidget.cpp b/pv/view/marginwidget.cpp
index 063dc9fd0d43e433e37a99186718b485f8ac1375..7df80308a710760afdabea2421d91cef139e6400 100644 (file)
--- a/pv/view/marginwidget.cpp
+++ b/pv/view/marginwidget.cpp
@@ -29,6 +29,7 @@ MarginWidget::MarginWidget(View &parent) :
        QWidget(&parent),
        _view(parent)
 {
+       setAttribute(Qt::WA_NoSystemBackground, true);
 }
 
 void MarginWidget::clear_selection()