From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Wed, 16 Nov 2016 19:23:02 +0000 (+0100)
Subject: Rewrite the buffering on position change.
X-Git-Url: https://git.sesse.net/?a=commitdiff_plain;h=269776b172ada8c902a65780353ec8fe2c1e4ff8;hp=269776b172ada8c902a65780353ec8fe2c1e4ff8;p=remoteglot

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.
---