diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2016-04-13 15:28:27 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-04-13 15:28:34 -0400 |
commit | bf3719f63f1997a0f9b1ece4d8029800cb9449d5 (patch) | |
tree | f7d2fbe3d9fc2dfc40080c056814804cab2dbc69 /gtk2_ardour/plugin_pin_dialog.h | |
parent | 1b097d57bd1d9b0ff5166a14d548e209b0ea3980 (diff) |
get editor controls layout/midi track header/scroomer to be the correct height
Using is_mapped() is wrong, since if the editor was not visible (i.e. program has not yet shown the editor
"tab", then _group_tabs will have is_visible() == true but is_mapped() == false
Diffstat (limited to 'gtk2_ardour/plugin_pin_dialog.h')
0 files changed, 0 insertions, 0 deletions