|
a/tool/src/GUI/swingUtils.java |
|
b/tool/src/GUI/swingUtils.java |
|
... |
|
... |
| 498 |
/**
|
498 |
/**
|
| 499 |
* Something changed on the disk, reload everything from start
|
499 |
* Something changed on the disk, reload everything from start
|
| 500 |
* @param tree
|
500 |
* @param tree
|
| 501 |
*/
|
501 |
*/
|
| 502 |
public static void refreshAll(JTree tree, String UID){
|
502 |
public static void refreshAll(JTree tree, String UID){
|
| 503 |
// find all components inside our common library
|
|
|
| 504 |
File baseFolder = new File(".");
|
|
|
| 505 |
// core.components = actions.findSPDX(new File(baseFolder,
|
|
|
| 506 |
// is.library));
|
|
|
| 507 |
// now find our products
|
|
|
| 508 |
core.products = actions.findSPDX(new File(baseFolder,
|
|
|
| 509 |
is.products));
|
|
|
| 510 |
|
503 |
|
| 511 |
// get the current UID of the selected node
|
504 |
core.studio.doSettings();
|
| 512 |
if(UID.isEmpty()){
|
|
|
| 513 |
TreeNodeSPDX currentNode = swingUtils.getSelectedNode();
|
|
|
| 514 |
if(currentNode != null){
|
|
|
| 515 |
// the ID of currently selected node
|
|
|
| 516 |
UID = currentNode.getUID();
|
|
|
| 517 |
}
|
|
|
| 518 |
}
|
|
|
| 519 |
// write our results on the tree
|
|
|
| 520 |
populateTree(tree);
|
|
|
| 521 |
|
|
|
| 522 |
// get the list of RunPlugins going
|
|
|
| 523 |
RunPlugins.listPlugins();
|
|
|
| 524 |
log.write(is.INFO, Messages.ReadyToUse);
|
|
|
| 525 |
|
505 |
|
| 526 |
// get back to the previoulsy selected node
|
506 |
// get back to the previoulsy selected node
|
| 527 |
swingUtils.setSelectedNode(UID);
|
507 |
swingUtils.setSelectedNode(UID);
|
| 528 |
// refresh things up
|
508 |
// refresh things up
|
| 529 |
tree.repaint();
|
509 |
tree.repaint();
|
| 530 |
swingUtils.refreshTextBox();
|
510 |
swingUtils.refreshTextBox();
|
|
|
511 |
|
| 531 |
}
|
512 |
}
|
|
|
513 |
// // find all components inside our common library
|
|
|
514 |
// File baseFolder = new File(".");
|
|
|
515 |
//// core.components = actions.findSPDX(new File(baseFolder,
|
|
|
516 |
//// is.library));
|
|
|
517 |
// // now find our products
|
|
|
518 |
// core.products = actions.findSPDX(new File(baseFolder,
|
|
|
519 |
// is.products));
|
|
|
520 |
//
|
|
|
521 |
// // get the current UID of the selected node
|
|
|
522 |
// if(UID.isEmpty()){
|
|
|
523 |
// TreeNodeSPDX currentNode = swingUtils.getSelectedNode();
|
|
|
524 |
// if(currentNode != null){
|
|
|
525 |
// // the ID of currently selected node
|
|
|
526 |
// UID = currentNode.getUID();
|
|
|
527 |
// }
|
|
|
528 |
// }
|
|
|
529 |
// // write our results on the tree
|
|
|
530 |
// populateTree(tree);
|
|
|
531 |
//
|
|
|
532 |
// // get the list of RunPlugins going
|
|
|
533 |
// RunPlugins.listPlugins();
|
|
|
534 |
// log.write(is.INFO, Messages.ReadyToUse);
|
|
|
535 |
//
|
|
|
536 |
// // get back to the previoulsy selected node
|
|
|
537 |
// swingUtils.setSelectedNode(UID);
|
|
|
538 |
// // refresh things up
|
|
|
539 |
// tree.repaint();
|
|
|
540 |
// swingUtils.refreshTextBox();
|
|
|
541 |
|
| 532 |
|
542 |
|
| 533 |
|
543 |
|
| 534 |
/**
|
544 |
/**
|
| 535 |
* This method forces the node currently selected
|
545 |
* This method forces the node currently selected
|
| 536 |
* to be again re-selected, causing a page refresh
|
546 |
* to be again re-selected, causing a page refresh
|