Fix synchronization bug (extra security)
commitec0dfa7d7a0d6dd028f7ffef250028394024a0bf
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 7 Dec 2009 22:39:53 +0000 (7 22:39 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 7 Dec 2009 22:39:53 +0000 (7 22:39 +0000)
tree9675e020a077584481576cf7ff66a8d68c66cbb2
parent9deb4462add2da0e258a2fda9eb22862d8114777
Fix synchronization bug (extra security)

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2861 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Edit/Interface/edit_repaint.cpp