diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-02-07 23:41:10 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-02-07 23:41:10 +0000 |
| commit | 04a37d8895a5e2e1a59e71d447c07e9aefcee64d (patch) | |
| tree | 0126c5431e5ccfeb03fa1a96ec1c3e26c2e3737d /src/main.cc | |
| parent | 333e87dedd453673485faf8d0cbedb02502453fe (diff) | |
Editor refactoring, merge undo and batch management
Diffstat (limited to 'src/main.cc')
| -rw-r--r-- | src/main.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.cc b/src/main.cc index c9066243..a2d13d4d 100644 --- a/src/main.cc +++ b/src/main.cc @@ -1054,8 +1054,8 @@ void exec_keys(const KeyList& keys, Editor& editor = context.has_window() ? static_cast<Editor&>(context.window()) : static_cast<Editor&>(batch_editor); - editor.begin_batch(); - auto end_batch = on_scope_end([&]() { editor.end_batch(); }); + + scoped_edition edition(editor); int count = 0; while(pos < keys.size()) |