Ensure bookmark positions are stable across reshapes
commit009f39a06a18778d033d8ffa532babbf97619ad1
authormalc <av1474@comtv.ru>
Tue, 15 Jun 2010 14:57:02 +0000 (15 18:57 +0400)
committermalc <av1474@comtv.ru>
Tue, 15 Jun 2010 14:57:02 +0000 (15 18:57 +0400)
tree40e2e8dd5bf6bffdc0bef546ff2ad0dc7acb5b5e
parente18895a5ff6ef4ad4b182a076e4bd20b42f454af
Ensure bookmark positions are stable across reshapes
main.ml