diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-06-04 14:12:37 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-06-04 14:12:37 +0000 |
| commit | a7c33207d6c00d765e133d2c768b550db5ccc656 (patch) | |
| tree | ef53e56f907f06aef4fa14bed0daaab9b612ef1b /src/buffer.cc | |
| parent | 589aad5f9c98d9002276d1f1a16fb44aa3c3409f (diff) | |
check if no modification were made in Buffer::end_undo_group
Diffstat (limited to 'src/buffer.cc')
| -rw-r--r-- | src/buffer.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/buffer.cc b/src/buffer.cc index 597c2981..7f3f8000 100644 --- a/src/buffer.cc +++ b/src/buffer.cc @@ -145,6 +145,9 @@ void Buffer::begin_undo_group() void Buffer::end_undo_group() { + if (m_current_undo_group.empty()) + return; + m_history.push_back(m_current_undo_group); m_history_cursor = m_history.end(); |