src/history.cc

changeset 563
10939452bf86
parent 562
c4ff45e98551
child 594
d9feccafcbf7
--- a/src/history.cc	Wed Dec 18 20:43:50 2013 +0200
+++ b/src/history.cc	Wed Dec 18 23:38:45 2013 +0200
@@ -36,6 +36,9 @@
 {	if (m_changesets.isEmpty() || getPosition() == -1)
 		return;
 
+	// Don't take the changes done here as actual edits to the document
+	setIgnoring (true);
+
 	const Changeset& set = getChangeset (getPosition());
 	g_fullRefresh = false;
 
@@ -54,6 +57,7 @@
 
 	g_win->updateActions();
 	dlog ("Position is now %1", getPosition());
+	setIgnoring (false);
 }
 
 // =============================================================================
@@ -62,6 +66,7 @@
 {	if (getPosition() == m_changesets.size())
 		return;
 
+	setIgnoring (true);
 	const Changeset& set = getChangeset (getPosition() + 1);
 	g_fullRefresh = false;
 
@@ -78,6 +83,7 @@
 
 	g_win->updateActions();
 	dlog ("Position is now %1", getPosition());
+	setIgnoring (false);
 }
 
 // =============================================================================

mercurial