5 Commits

Author	SHA1	Message	Date
Wez Furlong	ba90abf805	mux: reintroduce server side state to gate pushes ... Record a notion of the state of the invalidations that we've sent to the client so that we can skip sending updates if nothing has changed since the last push.	2020-01-10 08:56:27 -08:00
Wez Furlong	cd2b57cc51	use rangeset to streamline line fetches	2020-01-05 14:37:17 -08:00
Wez Furlong	01f3adc2cb	remove more old surface sync code, improve fetch quality ... Still not perfect and still iterating	2020-01-05 14:37:17 -08:00
Wez Furlong	66b8b774f5	partially connect new data to mux rpc layer	2020-01-05 14:37:17 -08:00
Wez Furlong	60e05dbe95	add RangeSet type ... The idea is to use this to maintain a set of dirty StableRowIndex values for the mux rpc.	2020-01-05 14:37:17 -08:00