xmldocumentprovider.java

来自「Eclipse基础插件开发源码」· Java 代码 · 共 25 行

JAVA
25
字号
package com.jixy.sample.plugin.editors;import org.eclipse.core.runtime.CoreException;import org.eclipse.jface.text.IDocument;import org.eclipse.jface.text.IDocumentPartitioner;import org.eclipse.jface.text.rules.FastPartitioner;import org.eclipse.ui.editors.text.FileDocumentProvider;public class XMLDocumentProvider extends FileDocumentProvider {	protected IDocument createDocument(Object element) throws CoreException {		IDocument document = super.createDocument(element);		if (document != null) {			IDocumentPartitioner partitioner =				new FastPartitioner(					new XMLPartitionScanner(),					new String[] {						XMLPartitionScanner.XML_TAG,						XMLPartitionScanner.XML_COMMENT });			partitioner.connect(document);			document.setDocumentPartitioner(partitioner);		}		return document;	}}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?