Function onSelectImport

code.js:142–147

(sel)

// onSelectImport is called by the imports dropdown.
function onSelectImport(sel) {
    if (sel.value >= 0) {
	// Simulate a click on a tree node corresponding to the selected import.
	$('#tree').jstree('select_node', 'node' + sel.value);
    }
}