Scale the port matrix with the GUI/font-scaling setting.

This commit is contained in:
Carl Hetherington 2020-01-11 01:15:17 +01:00
parent a883afbd64
commit 1f14a9d9a5
7 changed files with 28 additions and 3 deletions

View file

@ -206,6 +206,7 @@ private:
void update_tab_highlighting ();
std::pair<int, int> check_flip () const;
bool can_flip () const;
void parameter_changed (std::string);
Gtk::Window* _parent;