check if no modification were made in Buffer::end_undo_group

This commit is contained in:
Maxime Coste 2012-06-04 14:12:37 +00:00
parent 589aad5f9c
commit a7c33207d6

View File

@ -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();