| /******************************************************************************* |
| * 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); |
| } |
| } |