()
| 630 | display.asyncExec(new Runnable() |
| 631 | { |
| 632 | public void run() |
| 633 | { |
| 634 | frame.executeCommandPrimeView(command, true); |
| 635 | |
| 636 | // This generally only makes sense if we're sourcing |
| 637 | // a file that includes a "run" command |
| 638 | // (i.e. to actually do useful work) |
| 639 | if (quitOnFinish) |
| 640 | frame.executeCommandPrimeView("quit", true); |
| 641 | } |
| 642 | }); |
| 643 | } |
| 644 | } |
no test coverage detected