()
| 622 | } |
| 623 | |
| 624 | void evaluateMacro() { |
| 625 | String title = getTitle(); |
| 626 | if (title.endsWith(".js")||title.endsWith(".bsh")||title.endsWith(".py")) |
| 627 | setWindowTitle(title.substring(0,title.length()-3)+".ijm"); |
| 628 | runMacro(false); |
| 629 | } |
| 630 | |
| 631 | void evaluateJavaScript() { |
| 632 | if (!getTitle().endsWith(".js")) |
no test coverage detected