public void setFile(File file) throws IOException { url_ = null; file_ = file; text_ = UString.makeStringFromFile(file); setChanged(); notifyObservers(); }
protected void _doImportFromFile(File file) { try { String text = UString.makeStringFromFile(file); setText(text); } catch (IOException e) { throw (new InternalError()); } }