adjust h-size of color theme manager "Reset to Defaults" button
authorPaul Davis <paul@linuxaudiosystems.com>
Fri, 7 Jun 2019 00:28:45 +0000 (18:28 -0600)
committerPaul Davis <paul@linuxaudiosystems.com>
Fri, 7 Jun 2019 00:32:13 +0000 (18:32 -0600)
commit95f2e4199b8f500beab4fae262715a237e14902b
tree8cb9ff1fde350fe9b22641e4acba80545ccc1f95
parent6a051a97b3b5e18dab89f21a96e791e5a1b8614b
adjust h-size of color theme manager "Reset to Defaults" button
gtk2_ardour/color_theme_manager.cc