]> git.sesse.net Git - remoteglot/commitdiff
projects / remoteglot / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 269776b)
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)
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.


No differences found
Unnamed repository; edit this file 'description' to name the repository.