fix styling of pane dividers (the original reason for the "*Pane*" widget=>style...
[ardour.git] / gtk2_ardour / arhell
2015-10-27 Robin Gareusfun with valgrind