(String url)
| 697 | } |
| 698 | |
| 699 | private void download(String url) { |
| 700 | this.downloadUrl = url; |
| 701 | Thread thread = new Thread(this, "Downloader"); |
| 702 | thread.setPriority(Math.max(thread.getPriority()-2, Thread.MIN_PRIORITY)); |
| 703 | thread.start(); |
| 704 | } |
| 705 | |
| 706 | void evaluateLine() { |
| 707 | int start = ta.getSelectionStart(); |
no test coverage detected