diff options
author | nick_m <mainsbridge@gmail.com> | 2014-12-23 05:09:21 +1100 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2015-01-02 08:01:12 -0500 |
commit | 0f7df2979cfa482ed71a752f527b17e2aee81501 (patch) | |
tree | 345f36c327f542a378dc9cade0c1ca7fcbf975cf | |
parent | 61315c314d714dc1fa04c142b5032473e4844896 (diff) |
Fix previous commit.
-rw-r--r-- | gtk2_ardour/editor.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/editor.cc b/gtk2_ardour/editor.cc index 2bbfef0d10..27631cd66a 100644 --- a/gtk2_ardour/editor.cc +++ b/gtk2_ardour/editor.cc @@ -3427,6 +3427,7 @@ Editor::commit_reversible_command () if (_session) { if (before.size() == 1) { _session->add_command (new MementoCommand<SelectionMemento>(*(_selection_memento), before.front(), &_selection_memento->get_state ())); + undo_action->set_sensitive(true); begin_selection_op_history (); } |