Lines Matching defs:fname
52 public void viewFile(String fname) {
55 getAppletContext().showDocument(new URL(getDocumentBase(), fname), "_blank");
63 rd = new BufferedReader(new InputStreamReader((new URL(fname)).openConnection().getInputStream()));
65 rd = new FileReader(path + fname);
72 if (fname.endsWith(".html")) {
110 Frame f=new TextFrame(fname.substring(fname.lastIndexOf('/')+1),text);
115 System.err.println("Can't read file "+fname);
119 public void PS(String fname,boolean printable) throws IOException {
120 gv.PS(fname,printable);