Thread: [Pydev-cvs] org.python.pydev/src/org/python/pydev/editor PyPartitioner.java,NONE,1.1 PyEdit.java,1.4
Brought to you by:
fabioz
From: Fabio Z. <fa...@us...> - 2005-06-27 16:06:38
|
Update of /cvsroot/pydev/org.python.pydev/src/org/python/pydev/editor In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29568/src/org/python/pydev/editor Modified Files: PyEdit.java PyPartitionScanner.java Added Files: PyPartitioner.java Log Message: --- NEW FILE: PyPartitioner.java --- /* * License: Common Public License v1.0 * Created on Jun 27, 2005 * * @author Fabio Zadrozny */ package org.python.pydev.editor; import org.eclipse.jface.text.rules.DefaultPartitioner; import org.eclipse.jface.text.rules.IPartitionTokenScanner; /** * @author Fabio Zadrozny */ public class PyPartitioner extends DefaultPartitioner{ /** * @param scanner * @param legalContentTypes */ public PyPartitioner(IPartitionTokenScanner scanner, String[] legalContentTypes) { super(scanner, legalContentTypes); } } Index: PyEdit.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/editor/PyEdit.java,v retrieving revision 1.46 retrieving revision 1.47 diff -C2 -d -r1.46 -r1.47 *** PyEdit.java 25 Jun 2005 19:45:50 -0000 1.46 --- PyEdit.java 27 Jun 2005 16:06:22 -0000 1.47 *************** *** 239,243 **** parser.setDocument(document); ! fixEncoding(input, document); // listen to changes in TAB_WIDTH preference --- 239,243 ---- parser.setDocument(document); ! //fixEncoding(input, document); // listen to changes in TAB_WIDTH preference Index: PyPartitionScanner.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/editor/PyPartitionScanner.java,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** PyPartitionScanner.java 25 Jun 2005 13:25:24 -0000 1.4 --- PyPartitionScanner.java 27 Jun 2005 16:06:23 -0000 1.5 *************** *** 85,90 **** if (document != null) { IDocumentPartitioner partitioner2 = document.getDocumentPartitioner(); ! if(partitioner2 == null){ ! DefaultPartitioner partitioner = new DefaultPartitioner(new PyPartitionScanner(), getTypes()); partitioner.connect(document); document.setDocumentPartitioner(partitioner); --- 85,90 ---- if (document != null) { IDocumentPartitioner partitioner2 = document.getDocumentPartitioner(); ! if(!(partitioner2 instanceof PyPartitioner)){ ! DefaultPartitioner partitioner = new PyPartitioner(new PyPartitionScanner(), getTypes()); partitioner.connect(document); document.setDocumentPartitioner(partitioner); |