Rewrite the buffering on position change.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Wed, 16 Nov 2016 19:23:02 +0000 (20:23 +0100)
committerMagne Mæhre <magne@pannekake.samfundet.no>
Wed, 16 Nov 2016 19:23:02 +0000 (20:23 +0100)
commit269776b172ada8c902a65780353ec8fe2c1e4ff8
tree3fe4742b92a6e2d4192c1047b8c9cb228a91ccc5
parentce5f6b655d5daa42abb79961aa18cf7b90db1f74
Rewrite the buffering on position change.

There was seemingly a small window where we could get evaluations
on the previous position and attribute them to the current one,
without actually noticing. Try rewriting this for the Nth time
and hope it doesn't mess up anything.
Engine.pm
config.pm
remoteglot.pl