(String path)
| 260 | } |
| 261 | |
| 262 | boolean openFile(String path) { |
| 263 | OpenDialog od = new OpenDialog("Open Text File...", path); |
| 264 | String directory = od.getDirectory(); |
| 265 | String name = od.getFileName(); |
| 266 | if (name==null) |
| 267 | return false; |
| 268 | path = directory + name; |
| 269 | |
| 270 | IJ.showStatus("Opening: " + path); |
| 271 | try { |
| 272 | BufferedReader r = new BufferedReader(new FileReader(directory + name)); |
| 273 | load(r); |
| 274 | r.close(); |
| 275 | } |
| 276 | catch (Exception e) { |
| 277 | IJ.error(e.getMessage()); |
| 278 | return true; |
| 279 | } |
| 280 | textPanel.setTitle(name); |
| 281 | setTitle(name); |
| 282 | IJ.showStatus(""); |
| 283 | return true; |
| 284 | } |
| 285 | |
| 286 | /** Returns a reference to this TextWindow's TextPanel. */ |
| 287 | public TextPanel getTextPanel() { |
no test coverage detected