From 4aeb086fe342e348cf149bfd45e6f6b0cea87aa5 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Thu, 4 May 2017 17:22:43 +0200
Subject: Scale scommer and piano-keyboard width with GUI

---
 gtk2_ardour/piano_roll_header.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'gtk2_ardour/piano_roll_header.cc')

diff --git a/gtk2_ardour/piano_roll_header.cc b/gtk2_ardour/piano_roll_header.cc
index 043f6c546e..cdd956dddd 100644
--- a/gtk2_ardour/piano_roll_header.cc
+++ b/gtk2_ardour/piano_roll_header.cc
@@ -27,6 +27,7 @@
 #include "midi_time_axis.h"
 #include "midi_streamview.h"
 #include "public_editor.h"
+#include "ui_config.h"
 
 using namespace std;
 using namespace Gtkmm2ext;
@@ -661,7 +662,7 @@ PianoRollHeader::invalidate_note_range(int lowest, int highest)
 void
 PianoRollHeader::on_size_request(Gtk::Requisition* r)
 {
-	r->width = 20;
+	r->width = std::max (20.f, rintf (20.f * UIConfiguration::instance().get_ui_scale()));
 }
 
 void
-- 
cgit v1.2.3