()
| 7593 | } |
| 7594 | |
| 7595 | private Variable updateTable() { |
| 7596 | String title = getTitleArg(); |
| 7597 | ResultsTable rt = getResultsTable(title); |
| 7598 | rt.show(rt.getTitle()); |
| 7599 | unUpdatedTable = null; |
| 7600 | if (rt==Analyzer.getResultsTable()) |
| 7601 | resultsPending = false; |
| 7602 | return null; |
| 7603 | } |
| 7604 | |
| 7605 | private Variable resetTable() { |
| 7606 | String title = getTitleArg(); |
no test coverage detected