⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 xmldoubleclickstrategy.java

📁 eclipse的hibernate插件,支持eclipse2.*版本
💻 JAVA
字号:
/******************************************************************************* * Copyright (c) 2000, 2003 IBM Corporation and others. * All rights reserved. This program and the accompanying materials  * are made available under the terms of the Common Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/cpl-v10.html *  * Contributors: *     IBM Corporation - initial API and implementation *******************************************************************************/package com.tanghan.plugin.xmleditors;import org.eclipse.jface.text.*;public class XMLDoubleClickStrategy implements ITextDoubleClickStrategy {	protected ITextViewer fText;	public void doubleClicked(ITextViewer part) {		int pos = part.getSelectedRange().x;		if (pos < 0)			return;		fText = part;		if (!selectComment(pos)) {			selectWord(pos);		}	}	protected boolean selectComment(int caretPos) {		IDocument doc = fText.getDocument();		int startPos, endPos;		try {			int pos = caretPos;			char c = ' ';			while (pos >= 0) {				c = doc.getChar(pos);				if (c == '\\') {					pos -= 2;					continue;				}				if (c == Character.LINE_SEPARATOR || c == '\"')					break;				--pos;			}			if (c != '\"')				return false;			startPos = pos;			pos = caretPos;			int length = doc.getLength();			c = ' ';			while (pos < length) {				c = doc.getChar(pos);				if (c == Character.LINE_SEPARATOR || c == '\"')					break;				++pos;			}			if (c != '\"')				return false;			endPos = pos;			int offset = startPos + 1;			int len = endPos - offset;			fText.setSelectedRange(offset, len);			return true;		} catch (BadLocationException x) {		}		return false;	}	protected boolean selectWord(int caretPos) {		IDocument doc = fText.getDocument();		int startPos, endPos;		try {			int pos = caretPos;			char c;			while (pos >= 0) {				c = doc.getChar(pos);				if (!Character.isJavaIdentifierPart(c))					break;				--pos;			}			startPos = pos;			pos = caretPos;			int length = doc.getLength();			while (pos < length) {				c = doc.getChar(pos);				if (!Character.isJavaIdentifierPart(c))					break;				++pos;			}			endPos = pos;			selectRange(startPos, endPos);			return true;		} catch (BadLocationException x) {		}		return false;	}	private void selectRange(int startPos, int stopPos) {		int offset = startPos + 1;		int length = stopPos - offset;		fText.setSelectedRange(offset, length);	}}

⌨️ 快捷键说明

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