diff options
| author | Robin Gareus <robin@gareus.org> | 2017-09-23 19:39:36 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-09-23 19:39:36 +0200 |
| commit | 39fb5762b0d7fe7723bbad38abf22387b7d9c432 (patch) | |
| tree | ae237aff33bf937f6b5d2c394ed609faf4294f19 /gtk2_ardour/generic_pluginui.cc | |
| parent | a9c8a25fc4240e0df3f87316d94989d53cc67747 (diff) | |
Add API set bar-controller spinbox digits
..and reduce default to 4 digits.
Diffstat (limited to 'gtk2_ardour/generic_pluginui.cc')
0 files changed, 0 insertions, 0 deletions