equal
deleted
inserted
replaced
62 if (fileName != null) { |
62 if (fileName != null) { |
63 fileChooser = new JFileChooser(); |
63 fileChooser = new JFileChooser(); |
64 fileChooser.setSelectedFile(new File(fileName)); |
64 fileChooser.setSelectedFile(new File(fileName)); |
65 } |
65 } |
66 } |
66 } |
67 if (fileChooser.showOpenDialog(null) == fileChooser.APPROVE_OPTION) { |
67 if (fileChooser.showOpenDialog(null) == JFileChooser.APPROVE_OPTION) { |
68 String fileName = fileChooser.getSelectedFile().getPath(); |
68 String fileName = fileChooser.getSelectedFile().getPath(); |
69 prefs.put("recent.file", fileName); |
69 prefs.put("recent.file", fileName); |
70 javac.run(System.in, null, null, "-d", "/tmp", fileName); |
70 javac.run(System.in, null, null, "-d", "/tmp", fileName); |
71 } |
71 } |
72 } |
72 } |