422 |
actionPerformed(ActionEvent e) { |
actionPerformed(ActionEvent e) { |
423 |
DbDirectoryTreeNode n = instrumentsDbTree.getSelectedDirectoryNode(); |
DbDirectoryTreeNode n = instrumentsDbTree.getSelectedDirectoryNode(); |
424 |
if(n == null) return; |
if(n == null) return; |
425 |
instrumentsDbTree.refreshDirectoryContent(n.getInfo().getDirectoryPath()); |
final String path = n.getInfo().getDirectoryPath(); |
426 |
|
instrumentsDbTree.refreshDirectoryContent(path); |
427 |
|
CC.scheduleInTaskQueue(new Runnable() { |
428 |
|
public void |
429 |
|
run() { instrumentsDbTree.setSelectedDirectory(path); } |
430 |
|
}); |
431 |
} |
} |
432 |
|
|
433 |
public void |
public void |