diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-07-07 07:05:27 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-07-07 07:05:44 -0400 |
| commit | 779fe6c08291a2c041ec9558c5351c23de576238 (patch) | |
| tree | f65bef43069a5453a4503df3e4c9d2cd5db4d0b4 /gtk2_ardour/editor_keys.cc | |
| parent | 7ec397c0198674de782bfac083e59e3dc8390eb7 (diff) | |
add functionality for cut tool
Diffstat (limited to 'gtk2_ardour/editor_keys.cc')
| -rw-r--r-- | gtk2_ardour/editor_keys.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/editor_keys.cc b/gtk2_ardour/editor_keys.cc index 34847bbfe4..2acc8a0a86 100644 --- a/gtk2_ardour/editor_keys.cc +++ b/gtk2_ardour/editor_keys.cc @@ -40,7 +40,7 @@ using namespace PBD; using namespace Editing; void -Editor::keyboard_selection_finish (bool add) +Editor::keyboard_selection_finish (bool /*add*/) { if (_session) { |