()
| 7527 | } |
| 7528 | |
| 7529 | private Variable setSelection() { |
| 7530 | interp.getLeftParen(); |
| 7531 | double from = interp.getExpression(); |
| 7532 | interp.getComma(); |
| 7533 | double to = interp.getExpression(); |
| 7534 | ResultsTable rt = getResultsTable(getTitle()); |
| 7535 | String title = rt.getTitle(); |
| 7536 | Frame f = WindowManager.getFrame(title); |
| 7537 | if (f!=null && (f instanceof TextWindow)){ |
| 7538 | TextWindow tWin = (TextWindow)f; |
| 7539 | if (from == -1 && to == -1) |
| 7540 | tWin.getTextPanel().resetSelection(); |
| 7541 | else |
| 7542 | tWin.getTextPanel().setSelection((int)from, (int)to); |
| 7543 | return null; |
| 7544 | } |
| 7545 | interp.error("\""+title+"\" table not found"); |
| 7546 | return null; |
| 7547 | } |
| 7548 | |
| 7549 | private Variable getSelectionStart() { |
| 7550 | int selStart = -1; |
no test coverage detected