diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-01 22:30:17 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-01 22:30:17 -0400 |
commit | a047d814f6218c6d197723614037ddca11d36d72 (patch) | |
tree | 63f0a16a94d7842d2b40fec0e7cf5d531610fee4 /gtk2_ardour | |
parent | d680c1f1dbd28fba3b5a8f04fe7fcbe7cdf88f18 (diff) |
fix case where pane divider is not redrawn after a leave event.
Diffstat (limited to 'gtk2_ardour')
0 files changed, 0 insertions, 0 deletions