Show
Ignore:
Timestamp:
11/04/07 15:46:11 (1 year ago)
Author:
asterite
Message:

Fixed a bug introduced in the last commit...

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/descent.core/src/descent/internal/core/util/Util.java

    r902 r903  
    281281            // TODO (jerome) reenable once JDT UI supports other file extensions (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=71460) 
    282282            if (!ENABLE_JAVA_LIKE_EXTENSIONS) 
    283                 JAVA_LIKE_EXTENSIONS = new char[][] {SuffixConstants.EXTENSION_java.toCharArray(), SuffixConstants.EXTENSION_di.toCharArray()}; 
     283                JAVA_LIKE_EXTENSIONS = new char[][] {SuffixConstants.EXTENSION_java.toCharArray() }; 
    284284            else { 
    285285                IContentType javaContentType = Platform.getContentTypeManager().getContentType(JavaCore.JAVA_SOURCE_CONTENT_TYPE);