--- 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); } // =============================================================================