}
}
}
void _on_patch(JsonObject obj) {
final FlooPatch res = new Gson().fromJson(obj, (Type) FlooPatch.class);
final Buf buf = this.state.bufs.get(res.id);
editor.queue(buf, new RunLater<Buf>() {
@Override
public void run(Buf b) {
if (b.buf == null) {