Do not change the position if remote goto target is visible
commit2c121f79ddc29f13514059bf730d6c9ab06f6f3a
authormalc <av1474@comtv.ru>
Sun, 17 Feb 2013 10:51:41 +0000 (17 14:51 +0400)
committermalc <av1474@comtv.ru>
Sun, 17 Feb 2013 10:51:41 +0000 (17 14:51 +0400)
tree32560c21739203a2f33e74e567ebbd4d4b79ea0a
parent61ada99aeb636d8c07f34265e31b763b701e70bf
Do not change the position if remote goto target is visible
main.ml