diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-01-10 14:33:50 -0500 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-01-10 14:33:50 -0500 |
| commit | 23b38166516db5423565b12a225d005ca7d47673 (patch) | |
| tree | 34c6c427abcc181a919ec11f3e95c0a1c36a590f /gtk2_ardour/option_editor.cc | |
| parent | 02e6d14e2330be710c91294166cf38a87d00f799 (diff) | |
remove unnecessary pixel placement stuff from editor cursor
Diffstat (limited to 'gtk2_ardour/option_editor.cc')
0 files changed, 0 insertions, 0 deletions