diff options
Diffstat (limited to 'jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/tableedit/MarqueeRectangleFigure.java')
-rw-r--r-- | jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/tableedit/MarqueeRectangleFigure.java | 85 |
1 files changed, 0 insertions, 85 deletions
diff --git a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/tableedit/MarqueeRectangleFigure.java b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/tableedit/MarqueeRectangleFigure.java deleted file mode 100644 index c65e771a3..000000000 --- a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/tableedit/MarqueeRectangleFigure.java +++ /dev/null @@ -1,85 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2006 Sybase, Inc. 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: - * Sybase, Inc. - initial API and implementation - *******************************************************************************/ -package org.eclipse.jst.pagedesigner.tableedit; - -import org.eclipse.draw2d.ColorConstants; -import org.eclipse.draw2d.Figure; -import org.eclipse.draw2d.Graphics; -import org.eclipse.draw2d.geometry.Rectangle; -import org.eclipse.swt.widgets.Display; - -/** - * This class is copied from MarqueeSelectionTool, since it is private there. - * - * @author mengbo - * @version 1.5 - */ -class MarqueeRectangleFigure extends Figure { - - private int offset = 0; - - private boolean schedulePaint = true; - - private static final int DELAY = 110; // animation delay in millisecond - - /** - * @see org.eclipse.draw2d.Figure#paintFigure(org.eclipse.draw2d.Graphics) - */ - protected void paintFigure(Graphics graphics) { - Rectangle bounds1 = getBounds().getCopy(); - graphics.translate(getLocation()); - - graphics.setXORMode(true); - graphics.setForegroundColor(ColorConstants.white); - graphics.setBackgroundColor(ColorConstants.black); - - graphics.setLineStyle(Graphics.LINE_DOT); - - int[] points = new int[6]; - - points[0] = 0 + offset; - points[1] = 0; - points[2] = bounds1.width - 1; - points[3] = 0; - points[4] = bounds1.width - 1; - points[5] = bounds1.height - 1; - - graphics.drawPolyline(points); - - points[0] = 0; - points[1] = 0 + offset; - points[2] = 0; - points[3] = bounds1.height - 1; - points[4] = bounds1.width - 1; - points[5] = bounds1.height - 1; - - graphics.drawPolyline(points); - - graphics.translate(getLocation().getNegated()); - - if (schedulePaint) { - Display.getCurrent().timerExec(DELAY, new Runnable() { - public void run() { - offset++; - if (offset > 5) - offset = 0; - - schedulePaint = true; - repaint(); - } - }); - } - - schedulePaint = false; - } - -} |