this.documentSymbols.begin(file, (o, res) => {
var ret = documentSymbols.end(res);
file.navigation_tree_updated(ret);
});
this.documentSymbols.begin(file, (o, res) => {
var ret = documentSymbols.end(res);
file.navigation_tree_updated(ret);
});
doc_symbol_queue_call_count++;
var call_id = yield this.queuer(doc_symbol_queue_call_count);
if (call_id != doc_symbol_queue_call_count) {
doc_symbol_queue_call_count++;
var call_id = yield this.queuer(doc_symbol_queue_call_count);
if (call_id != doc_symbol_queue_call_count) {
GLib.debug ("LS replied with %s", Json.to_string (Json.gvariant_serialize (return_value), true));
var json = Json.gvariant_serialize (return_value);
GLib.debug ("LS replied with %s", Json.to_string (Json.gvariant_serialize (return_value), true));
var json = Json.gvariant_serialize (return_value);