IDoc iDoc = context.iFactory.getDocument(buf.path);
if (iDoc == null) {
return;
}
String username = state.getUsername(res.user_id);
iDoc.applyHighlight(buf.path, res.user_id, username, state.getFollowing() && !res.following, res.summon, res.ranges);
}
});
}
void _on_saved(JsonObject obj) {