Changeset 1275

Show
Ignore:
Timestamp:
03/07/10 08:45:47 (5 months ago)
Author:
dreisch
Message:

-fixed #1104

Location:
ide/trunk/src
Files:
2 modified
1 moved

Legend:

Unmodified
Added
Removed
  • ide/trunk/src/org/korsakow/ide/ui/controller/EventEditorController.java

    r1243 r1275  
    4545                try { 
    4646                        Properties eventProperties = new Properties(); 
    47                         eventProperties.load(ResourceManager.getResourceStream(UIResourceManager.UIRESOURCE_BASE_PATH + '/' + "EventMapping.properties")); 
     47                        eventProperties.load(ResourceManager.getResourceStream(UIResourceManager.UIRESOURCE_BASE_PATH + "eventmappings.properties")); 
    4848                        for (Object key : eventProperties.keySet()) { 
    4949                                String value = eventProperties.getProperty(key.toString()); 
  • ide/trunk/src/org/korsakow/ide/util/Util.java

    r1034 r1275  
    77import java.io.StringWriter; 
    88import java.lang.ref.WeakReference; 
    9 import java.lang.reflect.InvocationTargetException; 
    109import java.util.ArrayList; 
    1110import java.util.Collection; 
     
    9291                        // instantiating and casting like this is possible becaus of type-erasure in generics 
    9392                        // otherwise i guess there would have to be some related functionality in the Class api 
    94                         Collection<T> references = (Collection<T>)weakCollection.getClass().newInstance(); 
     93                        Collection<T> references = weakCollection.getClass().newInstance(); 
    9594                        for (WeakReference<T> ref : weakCollection) 
    9695                        { 
     
    137136         * @throws IOException 
    138137         */ 
     138        @Deprecated 
    139139        public static void writeDom(Document doc, File file) throws TransformerException, IOException 
    140140        { 
     
    159159         * @throws IOException 
    160160         */ 
     161        @Deprecated 
    161162        public static Process shellExecute(String cmd, File dir) throws IOException 
    162163        { 
     
    170171         * @throws IOException 
    171172         */ 
     173        @Deprecated 
    172174        public static Process shellExecute(List<String> cmds, File dir) throws IOException 
    173175        { 
     
    183185                PrintWriter pw = new PrintWriter(sw); 
    184186                t.printStackTrace(pw); 
    185                 return sw.toString(); 
     187                String trace = sw.toString(); 
     188                if (t.getCause() != null) 
     189                        trace += "\nCause:\n" + getStackTraceString(t.getCause()); 
     190                return trace; 
    186191        } 
    187192        /**