Narrowing has "funny" consequences in bookmark mode, so disable it
commit717c4b4497ba5121b82f251f7075d2c9391b1b10
authormalc <av1474@comtv.ru>
Thu, 8 Jul 2010 00:13:54 +0000 (8 04:13 +0400)
committermalc <av1474@comtv.ru>
Thu, 8 Jul 2010 00:13:54 +0000 (8 04:13 +0400)
tree36bf71170af32c69f32faa6ebfad2200a02617d9
parent129067e3d85472460240bb3ab5c3fc2055bdadf0
Narrowing has "funny" consequences in bookmark mode, so disable it

The whole bookmark vs outline handling needs retooling
main.ml