bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/motif/org/eclipse/swt/dnd/StyledTextDragAndDropEffect.java

/*******************************************************************************
 * Copyright (c) 2006 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.swt.dnd;


import org.eclipse.swt.custom.*;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.internal.motif.*;

class StyledTextDragAndDropEffect extends DragAndDropEffect {
	StyledText text;
	Rectangle caretBounds;
	long scrollBeginTime;
	int scrollX = -1, scrollY = -1;
	
	static final int SCROLL_HYSTERESIS = 100; // milli seconds
	static final int SCROLL_TOLERANCE = 20; // pixels
	
StyledTextDragAndDropEffect(StyledText control) {
	text = control;
}
void showDropTargetEffect(int effect, int x, int y) {
	Point pt = text.getDisplay().map(null, text, x, y);
	if ((effect & DND.FEEDBACK_SCROLL) == 0) {
		scrollBeginTime = 0;
		scrollX = scrollY = -1;
	} else {
		if (text.getCharCount() == 0) {
			scrollBeginTime = 0;
			scrollX = scrollY = -1;
		} else {
			if (scrollX != -1 && scrollY != -1 && scrollBeginTime != 0 &&
				(pt.x >= scrollX && pt.x <= (scrollX + SCROLL_TOLERANCE) ||
				 pt.y >= scrollY && pt.y <= (scrollY + SCROLL_TOLERANCE))) {
				if (System.currentTimeMillis() >= scrollBeginTime) {
					Rectangle area = text.getClientArea();
					Rectangle bounds = text.getTextBounds(0, 0);
					int charWidth = bounds.width;
					if (pt.x < area.x + 2*charWidth) {
						int leftPixel = text.getHorizontalPixel();
						text.setHorizontalPixel(leftPixel - charWidth);
						if (text.getHorizontalPixel() != leftPixel) {
							text.redraw();
						}
					}
					if (pt.x > area.width - 2*charWidth) {
						int leftPixel = text.getHorizontalPixel();
						text.setHorizontalPixel(leftPixel + charWidth);
						if (text.getHorizontalPixel() != leftPixel) {
							text.redraw();
						}
					}
					int lineHeight = bounds.height;
					if (pt.y < area.y + lineHeight) {
						int topPixel = text.getTopPixel();
						text.setTopPixel(topPixel - lineHeight);
						if (text.getTopPixel() != topPixel) {
							text.redraw();
						}
					}
					if (pt.y > area.height - lineHeight) {
						int topPixel = text.getTopPixel();
						text.setTopPixel(topPixel + lineHeight);
						if (text.getTopPixel() != topPixel) {
							text.redraw();
						}
					}
					scrollBeginTime = 0;
					scrollX = scrollY = -1;
				}
			} else {
				scrollBeginTime = System.currentTimeMillis() + SCROLL_HYSTERESIS;
				scrollX = pt.x;
				scrollY = pt.y;
			}
		}
	}
	
	int newOffset = -1;
	StyledTextContent content = text.getContent();
	if ((effect & DND.FEEDBACK_SELECT) != 0) {
		try {
			newOffset = text.getOffsetAtLocation(pt);
		} catch (IllegalArgumentException ex1) {
			int maxOffset = content.getCharCount();
			Point maxLocation = text.getLocationAtOffset(maxOffset);
			if (pt.y >= maxLocation.y) {
				try {
					newOffset = text.getOffsetAtLocation(new Point(pt.x, maxLocation.y));
				} catch (IllegalArgumentException ex2) {
					newOffset = maxOffset;
				}
			} else {
				try {
					int startOffset = text.getOffsetAtLocation(new Point(0, pt.y));
					int endOffset = maxOffset;
					int line = content.getLineAtOffset(startOffset);
					int lineCount = content.getLineCount();
					if (line + 1 < lineCount) {
						endOffset = content.getOffsetAtLine(line + 1)  - 1;
					}
					int lineHeight = text.getLineHeight(startOffset);
					for (int i = endOffset; i >= startOffset; i--) {
						Point p = text.getLocationAtOffset(i);
						if (p.x < pt.x && p.y < pt.y && p.y + lineHeight > pt.y) {
							newOffset = i;
							break;
						}
					}
				} catch (IllegalArgumentException ex2) {
					newOffset = -1;
				}
			}
		}
	}
	if (caretBounds != null) {
		// hide caret
		drawCaret();
		caretBounds = null; 
	}
	if (newOffset != -1) {
		// check if offset is line delimiter
		// see StyledText.isLineDelimiter()
		int line = content.getLineAtOffset(newOffset);
		int lineOffset = content.getOffsetAtLine(line);	
		int offsetInLine = newOffset - lineOffset;
		// offsetInLine will be greater than line length if the line 
		// delimiter is longer than one character and the offset is set
		// in between parts of the line delimiter.
		if (offsetInLine > content.getLine(line).length()) {
			newOffset = Math.max(0, newOffset - 1);
		}
		text.setCaretOffset(newOffset);
		// show caret
		caretBounds = text.getCaret().getBounds();
		drawCaret();
	}
}
void drawCaret() {
	int window = OS.XtWindow(text.handle);
	if (window == 0) return;
	int xDisplay = OS.XtDisplay(text.handle);
	int gc = OS.XCreateGC(xDisplay, window, 0, null);
	int color = 0;
	if (OS.IsSunOS) {
		int[] argList = {OS.XmNforeground, 0};
		OS.XtGetValues(text.handle, argList, argList.length / 2);
		int foreground = argList[1];
		argList = new int[] {OS.XmNbackground, 0};
		OS.XtGetValues(text.handle, argList, argList.length / 2);
		int background = argList[1];
		color = foreground ^ background;
	} else {
		int screenNum = OS.XDefaultScreen(xDisplay);	
		color = OS.XWhitePixel(xDisplay, screenNum);
	}
	OS.XSetForeground(xDisplay, gc, color);
	OS.XSetFunction(xDisplay, gc, OS.GXxor);
	int nWidth = caretBounds.width, nHeight = caretBounds.height;
	if (nWidth <= 0) nWidth = 1;
	OS.XFillRectangle(xDisplay, window, gc, caretBounds.x, caretBounds.y, nWidth, nHeight);
	OS.XFreeGC(xDisplay, gc);
}
}