issue #18: run atomic to prevent empty entries in undo buffer
[version] update to 1.4.2
[doc] updated doc after merging bugfix18