Make bookmark position stable across reloads
commit1531bf9519c9c73a049620a77bdb338a55ae6ccb
authormalc <av1474@comtv.ru>
Sun, 24 Oct 2010 18:40:50 +0000 (24 22:40 +0400)
committermalc <av1474@comtv.ru>
Sun, 24 Oct 2010 18:40:50 +0000 (24 22:40 +0400)
tree5351ae6ca3559e1813e5c2fc1a15540f2b5bc719
parent981375429309a48d53006debe3c8e5c9ce15ee9e
Make bookmark position stable across reloads
main.ml