diff options
author | Robin Gareus <robin@gareus.org> | 2017-05-04 17:22:43 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-05-04 17:22:43 +0200 |
commit | 4aeb086fe342e348cf149bfd45e6f6b0cea87aa5 (patch) | |
tree | ddbec93858d7a004f2a1d400f78a29d00ad65d76 /gtk2_ardour/piano_roll_header.cc | |
parent | 8a6d303778493fce6aaed62fa1cea47bf8075bf7 (diff) |
Scale scommer and piano-keyboard width with GUI
Diffstat (limited to 'gtk2_ardour/piano_roll_header.cc')
-rw-r--r-- | gtk2_ardour/piano_roll_header.cc | 3 |
1 files changed, 2 insertions, 1 deletions
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 |