src/gui.cc

changeset 561
1d90296ad3fc
parent 560
39085791128f
child 563
10939452bf86
--- a/src/gui.cc	Wed Dec 18 17:44:31 2013 +0200
+++ b/src/gui.cc	Wed Dec 18 19:39:55 2013 +0200
@@ -876,6 +876,9 @@
 	// Update the list item of the current file - we may need to draw an icon
 	// now that marks it as having unsaved changes.
 	updateDocumentListItem (getCurrentDocument());
+
+	// We're done with the action, the history should stop ignoring now.
+	getCurrentDocument()->getHistory()->setIgnoring (false);
 }
 
 // =============================================================================

mercurial