panels: implement a small margin on all panels to ensure the focus border is always visible

2020-04-20 18:06:50 +10:00
parent cb14af326c
commit 84e73395ff
9 changed files with 18 additions and 6 deletions
@@ -60,6 +60,7 @@ ManagedPixelSamplerWidget::ManagedPixelSamplerWidget(QWidget *parent) :
  QWidget(parent)
 {
  QVBoxLayout* layout = new QVBoxLayout(this);
+  layout->setMargin(0);

  display_view_ = new PixelSamplerWidget();
  display_view_->setTitle(tr("Display"));