/[classpath]/classpath/gnu/classpath/SystemProperties.java
ViewVC logotype

Diff of /classpath/gnu/classpath/SystemProperties.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.9 by rabbit78, Thu Jul 7 12:37:04 2005 UTC revision 1.10 by tromey, Tue Nov 8 21:53:22 2005 UTC
# Line 106  public class SystemProperties Line 106  public class SystemProperties
106      if (defaultProperties.get("file.encoding") == null)      if (defaultProperties.get("file.encoding") == null)
107        defaultProperties.put("file.encoding", "8859_1");        defaultProperties.put("file.encoding", "8859_1");
108    
     // Default to the Swing FocusManager so that the old-style Swing API  
     // for FocusManager can be supported without hardcoding it in AWT.  
     if (defaultProperties.get("gnu.java.awt.FocusManager") == null)  
       defaultProperties.put("gnu.java.awt.FocusManager",  
                             "gnu.java.awt.FocusManager");  
   
109      // XXX FIXME - Temp hack for old systems that set the wrong property      // XXX FIXME - Temp hack for old systems that set the wrong property
110      if (defaultProperties.get("java.io.tmpdir") == null)      if (defaultProperties.get("java.io.tmpdir") == null)
111        defaultProperties.put("java.io.tmpdir",        defaultProperties.put("java.io.tmpdir",

Legend:
Removed from v.1.9  
changed lines
  Added in v.1.10

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26