Fix document-updating when unordered_map is used.
authorDavid nolden <david.nolden.kde@art-master.de>
Sun, 11 Jul 2010 21:18:16 +0000 (23:18 +0200)
committerDavid nolden <david.nolden.kde@art-master.de>
Sun, 11 Jul 2010 21:18:16 +0000 (23:18 +0200)
commit67c8c9244c80d7015b6a56cb671a079e4afdbcb6
treea3d95e992123020d35526e893440aa8964f9965f
parent9951e02f620f21e6a8258e355f1f5fa85883fa12
Fix document-updating when unordered_map is used.
It doesn't seem to replace the old item in "insert(..)", so first erase the old one.
language/editor/modificationrevision.cpp