diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2015-11-24 11:19:29 -0500 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-02-22 15:31:25 -0500 |
| commit | 30b065f6efcd3ecdbee10aef2e01eae55dcf8e8c (patch) | |
| tree | 79ff74d7c7ca9a11975e67343b1f921d4cd802e4 /gtk2_ardour/option_editor.h | |
| parent | 8a1bfd45f49e6d21a7a4b20cf03b536efbea377f (diff) | |
provide an alternate action for controlling prefs visibility in the main menu
Diffstat (limited to 'gtk2_ardour/option_editor.h')
0 files changed, 0 insertions, 0 deletions