diff options
| author | nick_m <mainsbridge@gmail.com> | 2016-12-30 01:55:41 +1100 |
|---|---|---|
| committer | nick_m <mainsbridge@gmail.com> | 2016-12-30 01:55:41 +1100 |
| commit | 52275254a7adb9a446c104cc7dcfde82d1792786 (patch) | |
| tree | 38f4b1fb1d5c3c3b25656b59d5d0a7d5fc5c5310 /gtk2_ardour/option_editor.h | |
| parent | e58fda2fa2ca28276384d6033101161e5c6fc4ea (diff) | |
allow the use of static_cast for MGR ghost events (speeds things up a bit).
Diffstat (limited to 'gtk2_ardour/option_editor.h')
0 files changed, 0 insertions, 0 deletions