Changeset 2020

Show
Ignore:
Timestamp:
02/22/07 13:20:20 (2 years ago)
Author:
merlimat
Message:

EclipseTracPlugin:

Return the correct encoding in the DocumentProvider?.
Fixes #500

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • eclipsetracplugin/eclipse/trunk/mm.eclipse.trac/src/mm/eclipse/trac/editors/WikiDocumentProvider.java

    r2003 r2020  
    1212public class WikiDocumentProvider extends StorageDocumentProvider 
    1313{ 
     14    private static final String Encoding = "utf-8"; 
     15     
    1416    protected IDocument createDocument( Object element ) throws CoreException 
    1517    { 
    …… 
    1820        { 
    1921            WikiPartitionScanner scanner = new WikiPartitionScanner(); 
    20             IDocumentPartitioner part = new FastPartitioner( scanner, scanner 
    21                     .getTokens() ); 
     22            IDocumentPartitioner part = new FastPartitioner( scanner, scanner.getTokens() ); 
    2223             
    2324            part.connect( document ); 
    2425            document.setDocumentPartitioner( part ); 
    2526        } 
     27         
    2628        return document; 
    2729    } 
     30     
     31    /* 
     32     * (non-Javadoc) 
     33     *  
     34     * @see org.eclipse.ui.editors.text.StorageDocumentProvider#getDefaultEncoding() 
     35     */ 
     36    @Override 
     37    public String getDefaultEncoding() 
     38    { 
     39        return Encoding; 
     40    } 
     41     
    2842}