/** Unloads the MIB file from the currently selected symbol. */
protected void unloadMib() {
MibNode node = getSelectedNode();
if (node == null) {
return;
}
while (node.getLevel() > 1) {
node = (MibNode) node.getParent();
}
browser.unloadMib(node.getName());
refreshTree();
}
