Changeset 2276 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2009-10-11T22:50:48+02:00 (15 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/help
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r2274 r2276 5 5 6 6 import java.awt.BorderLayout; 7 import java.awt.Dimension;8 7 import java.awt.event.ActionEvent; 9 8 import java.awt.event.KeyEvent; … … 37 36 import org.openstreetmap.josm.tools.OpenBrowser; 38 37 import org.openstreetmap.josm.tools.WikiReader; 39 import org.openstreetmap.josm.tools.WindowGeometry;40 38 41 39 public class HelpBrowser extends JFrame { -
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserProxy.java
r2274 r2276 3 3 4 4 import java.io.File; 5 import static org.openstreetmap.josm.tools.I18n.tr; 5 6 import java.io.IOException; 6 7 import java.io.OutputStreamWriter; 7 8 import java.io.PrintWriter; 8 9 import java.util.ArrayList; 10 11 import javax.swing.JOptionPane; 12 13 import org.openstreetmap.josm.Main; 9 14 10 15 /** … … 45 50 javaBin = "javaw.exe"; 46 51 } else { 47 javaBin = "java w";52 javaBin = "java"; 48 53 } 49 54 cmdLine.add(new File(new File(System.getProperty("java.home"), "bin"), javaBin).toString()); … … 61 66 e.printStackTrace(); 62 67 } 63 pw = new PrintWriter( 64 new OutputStreamWriter( 65 helpBrowserProcess.getOutputStream() 66 ) 67 ); 68 if (helpBrowserProcess != null) { 69 pw = new PrintWriter( 70 new OutputStreamWriter( 71 helpBrowserProcess.getOutputStream() 72 ) 73 ); 74 } 68 75 } 69 76 … … 79 86 } 80 87 if (helpBrowserProcess == null) { 88 JOptionPane.showMessageDialog( 89 Main.parent, 90 tr("Failed to launch the external help browser"), 91 tr("Error"), 92 JOptionPane.ERROR_MESSAGE 93 ); 81 94 System.err.println("Failed to launch browser"); 82 95 return;
Note:
See TracChangeset
for help on using the changeset viewer.