changeset 2069 | 207f168361ba |
parent 2028 | b2c674e6ee28 |
child 2089 | c8b9d6341530 |
--- a/src/modules/client/history.py Wed Sep 08 16:56:50 2010 -0700 +++ b/src/modules/client/history.py Thu Sep 09 18:08:00 2010 -0700 @@ -331,7 +331,8 @@ # Some operations shouldn't be saved -- they're merely # included in the stack for completeness or to support # client functionality. - if op.name not in DISCARDED_OPERATIONS: + if op.name not in DISCARDED_OPERATIONS and \ + value != RESULT_NOTHING_TO_DO: # Write current history and last operation to a # file. self.__save()