Scale scommer and piano-keyboard width with GUI

This commit is contained in:
Robin Gareus 2017-05-04 17:22:43 +02:00
parent 8a6d303778
commit 4aeb086fe3
2 changed files with 6 additions and 5 deletions

View file

@ -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