()
| 7603 | } |
| 7604 | |
| 7605 | private Variable resetTable() { |
| 7606 | String title = getTitleArg(); |
| 7607 | ResultsTable rt = null; |
| 7608 | if ("Results".equals(title)) { |
| 7609 | rt = Analyzer.getResultsTable(); |
| 7610 | rt.showRowNumbers(false); |
| 7611 | rt.reset(); |
| 7612 | rt.show("Results"); |
| 7613 | toFront("Results"); |
| 7614 | return null; |
| 7615 | } |
| 7616 | if (getRT(title)==null) { |
| 7617 | rt = new ResultsTable(); |
| 7618 | rt.show(title); |
| 7619 | waitUntilActivated(title); |
| 7620 | } else { |
| 7621 | rt = getResultsTable(title); |
| 7622 | rt.reset(); |
| 7623 | toFront(title); |
| 7624 | if (rt==Analyzer.getResultsTable()) |
| 7625 | resultsPending = true; |
| 7626 | } |
| 7627 | return null; |
| 7628 | } |
| 7629 | |
| 7630 | private void waitUntilActivated(String title) { |
| 7631 | long start = System.currentTimeMillis(); |
no test coverage detected