* Copyright (c) 2002, 2007 IBM Corporation and others.

 * Copyright (c) 2002, 2009 IBM Corporation and others.

import org.eclipse.gmf.runtime.draw2d.ui.graphics.GCUtilities;

import org.eclipse.draw2d.geometry.Point;

import org.eclipse.gmf.runtime.draw2d.ui.internal.figures.DropShadowButtonBorder;

import org.eclipse.draw2d.geometry.PointList;

import org.eclipse.gmf.runtime.draw2d.ui.internal.figures.ImageFigureEx;

import org.eclipse.draw2d.geometry.Rectangle;

import org.eclipse.gmf.runtime.draw2d.ui.internal.l10n.Draw2dUIPluginImages;

import org.eclipse.gmf.runtime.draw2d.ui.mapmode.IMapMode;

import org.eclipse.swt.SWT;

import org.eclipse.gmf.runtime.draw2d.ui.mapmode.MapModeUtil;

import org.eclipse.swt.graphics.Image;

import org.eclipse.swt.graphics.Color;

import org.eclipse.swt.graphics.ImageData;

	static private ImageConstants icons = new ImageConstants();

	protected ArrowButton downButtonFigure;

	private Image upIcon, upPressedIcon, upGrayedIcon, downIcon, downPressedIcon, downGrayedIcon;

	protected ArrowButton upButtonFigure;

	ThumbFigure thumb;

	private ImageFigureEx upLabel;

	private ImageFigureEx downLabel;

	protected static Color fillLightGrey = new Color(null, new RGB(240, 240, 240));

	protected static Color outlineLightGrey = new Color(null, new RGB(185, 185, 185));

	private static Border dropshadow = new DropShadowButtonBorder();

	protected static Color fillDarkGrey = new Color(null, new RGB(84, 84, 84));

	protected static Color outlineDarkGrey = new Color(null, new RGB(109, 109, 109));

	protected static Color arrowFill = new Color(null, new RGB(187, 187, 187));

	protected int mm_1;

	protected int mm_2;

		Border margin = new MarginBorder(insets.top, insets.left, insets.bottom, insets.right);

		Border margin = new MarginBorder(insets.top, insets.left, insets.bottom, insets.right);		

		if (isHorizontal()) {

		upIcon = isHorizontal()? icons.left : icons.up;

			downButtonFigure.setDirection(EAST);

		upPressedIcon = isHorizontal()? icons.leftPressed : icons.upPressed;

			upButtonFigure.setDirection(WEST);

		upGrayedIcon = isHorizontal()? icons.leftGrayed : icons.upGrayed;

		} else {

		downIcon = isHorizontal()? icons.right : icons.down;

			downButtonFigure.setDirection(SOUTH);

		downPressedIcon = isHorizontal()? icons.rightPressed : icons.downPressed;

			upButtonFigure.setDirection(NORTH);

		downGrayedIcon = isHorizontal()? icons.rightGrayed : icons.downGrayed;

		}

        IMapMode mm= MapModeUtil.getMapMode(this);

        mm_1 = mm.DPtoLP(1);

        mm_2 = mm.DPtoLP(2);

		downLabel = new ImageFigureEx(downIcon);

		downButtonFigure = new ArrowButton();

		downLabel.setOpaque(true);

		downButtonFigure.setBorder(new MarginBorder(new Insets(mm_1)));

		addPropertyChangeListener(new PropertyChangeListener() {

		Clickable button = new Clickable(downButtonFigure) {

			public void propertyChange(PropertyChangeEvent event) {

			@Override

				updateDownLabel();

			public boolean hasFocus() {

			}

				return false;

		});

			}		

		Clickable button = new Clickable(downLabel);

		};

				updateDownLabel();

				updateDownColors();

		upLabel = new ImageFigureEx(upIcon);

		upButtonFigure = new ArrowButton();

		upLabel.setOpaque(true);

		upButtonFigure.setBorder(new MarginBorder(new Insets(mm_1)));

		addPropertyChangeListener(new PropertyChangeListener() {

		Clickable button = new Clickable(upButtonFigure) {

			public void propertyChange(PropertyChangeEvent event) {

			@Override

				updateUpLabel();

			public boolean hasFocus() {

			}

				return false;

		});

			}		

		Clickable button = new Clickable(upLabel);

		};

				updateUpLabel();

				updateUpColors();

		button.setBorder(dropshadow);

		return button;		

		button.setOpaque(false);

		return button;

		setOpaque(false);

		setOpaque(true);

		Panel thumb = new Panel() {

		thumbDragger = new ThumbDraggerColors();

			public void paint(Graphics graphics) {

		thumb = new ThumbFigure();

				if (GCUtilities.supportsAdvancedGraphics()){

					graphics.setAlpha(128);

				}

				super.paint(graphics);

			}

		};

	/**

	private void updateDownLabel() {

	 * Updates colors of down button depending on its state (highlighted,

		Image icon = null;

	 * pressed, or neither)

		if (((Clickable) getButtonDown()).getModel().isPressed()

	 */

			|| !((Clickable) getButtonDown()).getModel().isMouseOver())

	protected void updateDownColors() {

			icon = downPressedIcon;

		boolean pressed = false;

		if (getValue() >= (getMaximum() - getExtent())) {

		boolean highlighted = false;

			icon = downGrayedIcon;

		if (getValue() < (getMaximum() - getExtent())) {

			getButtonDown().setEnabled(false);

			// Arrow is scrollable

		} else {

			if (((Clickable) getButtonDown()).getModel().isPressed()) {

			getButtonDown().setEnabled(true);

				pressed = true;

			if (icon == null)

			} else if (((Clickable) getButtonDown()).getModel().isMouseOver()) {

				icon = downIcon;

				highlighted = true;

			}

		}

		boolean doRepaint = false;

		if (downButtonFigure.isHighlighted() != highlighted) {

			downButtonFigure.setHighlighted(highlighted);

			doRepaint = true;

		}

		if (downButtonFigure.isPressed() != pressed) {

			doRepaint = true;

			downButtonFigure.setPressed(pressed);

		}

		if (doRepaint) {

			// Just changing color, no recalculation of arrow position needed

			downButtonFigure.setRecalculate(false);			

			downButtonFigure.repaint();

	private void updateUpLabel() {

	/**

		Image icon = null;

	 * Updates colors of up button depending on its state (highlighted,

		if (((Clickable) getButtonUp()).getModel().isPressed()

	 * pressed, or neither)

			|| !((Clickable) getButtonUp()).getModel().isMouseOver())

	 */	

			icon = upPressedIcon;

	protected void updateUpColors() {

		if (getValue() <= getMinimum()) {

		boolean pressed = false;

			icon = upGrayedIcon;

		boolean highlighted = false;

			getButtonUp().setEnabled(false);

		if (getValue() > getMinimum()) {

		} else {

			// Arrow is scrollable			

			getButtonUp().setEnabled(true);

			if (((Clickable) getButtonUp()).getModel().isPressed()) {

			if (icon == null)

				pressed = true;

				icon = upIcon;

			} else if (((Clickable) getButtonUp()).getModel().isMouseOver()) {

				highlighted = true;

			}

		}

		boolean doRepaint = false;

		if (upButtonFigure.isHighlighted() != highlighted) {

			upButtonFigure.setHighlighted(highlighted);

			doRepaint = true;

		}

		if (upButtonFigure.isPressed() != pressed) {

			doRepaint = true;

			upButtonFigure.setPressed(pressed);

		}

		if (doRepaint) {

			// Just changing color, no recalculation of arrow position needed

			upButtonFigure.setRecalculate(false);

			upButtonFigure.repaint();

	 * @author sshaw

	 * Figure that defines the content for up and down buttons

	 * 

	 * @author lgrahek

	 * 

	 * @since 1.2

	static private class ImageConstants {

	protected class ArrowButton extends Figure 

	{

		private PointList arrow = new PointList();

		private boolean recalculate;

		private int direction;

		private boolean highlighted;

		private boolean pressed;		

		@Override

		protected void paintFigure(Graphics g) {

			Rectangle r = getBounds();

			// If not pressed, fill with white, so later there will be 1px of

			// white left around outline.

			g.setAlpha(130);

			if (!pressed) {

				g.setBackgroundColor(ColorConstants.white);

				g.fillRectangle(r);

			}						

			// Draw the outline (none when button is pressed)

			if (!pressed) {

				g.setLineWidth(mm_1);

				if (highlighted) {

					g.setForegroundColor(outlineDarkGrey);

				} else {

					g.setForegroundColor(outlineLightGrey);

				}

				g.drawRectangle(r);

			}

			// Fill the interior. If not pressed, leave 1px white between outline and filled area.

			if (pressed) {

				g.setBackgroundColor(fillDarkGrey);

			} else {

				g.setBackgroundColor(fillLightGrey);

				r = r.getCopy().shrink(mm_2, mm_2);

			}

			g.fillRectangle(r);		

			// Draw the arrow

			if (pressed) {

				r = r.getCopy().shrink(mm_2, mm_2);

			}

			if (recalculate || arrow.size() == 0) {

				int size;

				switch (direction) {

					case EAST:

					case WEST:

						size = Math.min(r.height / 2, r.width);

						r.x += (r.width - size) / 2;

						break;

					default: //North or south

						size = Math.min(r.height, r.width / 2);

						r.y += (r.height - size) / 2;

						break;

				}

				size = Math.max(size, 1); //Size cannot be negative		

				Point head, p2, p3;

				switch (direction) {

					case NORTH:

						head = new Point(r.x + r.width / 2, r.y);

						p2   = new Point (head.x - size, head.y + size);

						p3   = new Point (head.x + size, head.y + size);

						break;

					case SOUTH:

						head = new Point (r.x + r.width / 2, r.y + size);

						p2   = new Point (head.x - size, head.y - size);

						p3   = new Point (head.x + size, head.y - size);

						break;

					case WEST:

						head = new Point (r.x, r.y + r.height / 2);

						p2   = new Point (head.x + size, head.y - size);

						p3   = new Point (head.x + size, head.y + size);

						break;

					default:

						head = new Point(r.x + size, r.y + r.height / 2);

						p2   = new Point(head.x - size, head.y - size);

						p3   = new Point(head.x - size, head.y + size);

				}

				arrow.removeAllPoints();

				arrow.addPoint(p2);

				arrow.addPoint(head);

				arrow.addPoint(p3);

			} else {

				// Recalculating with every paint unless explicitly told not too

				recalculate = true;

			}

			if (highlighted) {

				g.setForegroundColor(fillDarkGrey);

			} else if (pressed) {

				g.setAlpha(255);

				g.setForegroundColor(ColorConstants.white);

			} else {

				g.setForegroundColor(arrowFill);

			}

			g.setLineWidth(mm_2);

			g.drawPolyline(arrow);			

		}

		 * 

		 * @param value

		 *            one of PositionConstants: EAST, WEST, NORTH, SOUTH that

		 *            determine the arrow direction

		public ImageConstants() {

		public void setDirection(int value) {

			RGB[] palette2 = new RGB[] { FigureUtilities.integerToColor(new Integer(SWT.COLOR_LIST_BACKGROUND)).getRGB(), new RGB(0, 0, 0), new RGB(0, 0, 0), new RGB(0, 0, 0) };

			direction = value;

			RGB[] palette1 = new RGB[] { FigureUtilities.integerToColor(new Integer(SWT.COLOR_LIST_FOREGROUND)).getRGB(), new RGB(0, 0, 0)};

		}

			ImageData image;

			// normal images

			image = 

				Draw2dUIPluginImages.DESC_DOWN_ARROW.getImageData();

			down = convert(image, palette2);

			image = 

				Draw2dUIPluginImages.DESC_UP_ARROW.getImageData();

			up = convert(image, palette2);

			image = 

				Draw2dUIPluginImages.DESC_LEFT_ARROW.getImageData();

			left = convert(image, palette2);

			image = 

				Draw2dUIPluginImages.DESC_RIGHT_ARROW.getImageData();

			right = convert(image, palette2);

			// pressed images

			upPressed = Draw2dUIPluginImages

				.get(Draw2dUIPluginImages.IMG_UP_PRESSED_ARROW);

			downPressed = Draw2dUIPluginImages

				.get(Draw2dUIPluginImages.IMG_DOWN_PRESSED_ARROW);

			leftPressed = Draw2dUIPluginImages

				.get(Draw2dUIPluginImages.IMG_LEFT_PRESSED_ARROW);

			rightPressed = Draw2dUIPluginImages

				.get(Draw2dUIPluginImages.IMG_RIGHT_PRESSED_ARROW);

			// grayed images

		/**

			image = 

		 * @param value

				Draw2dUIPluginImages.DESC_UP_GRAY_ARROW.getImageData();

		 *            false if arrow points do no have to be recalculated (e.g.

			upGrayed = convert(image, palette1);

		 *            when just changing color)

		 */

		public void setRecalculate(boolean value) {

			recalculate = value;

		}

		/**

		 * @param value true if highlighted, false if not

		 */

		public void setHighlighted(boolean value) {

			highlighted = value;

		}

		/**

		 * @return true if highlighted, false if not

		 */

		public boolean isHighlighted() {

			return highlighted;

		}		

		/**

		 * @param value true if pressed, false if not

		 */

		public void setPressed(boolean value) {

			pressed = value;

		}

			image = 

		/**

				Draw2dUIPluginImages.DESC_DOWN_GRAY_ARROW.getImageData();

		 * @return true if pressed

			downGrayed = convert(image, palette1);

		 */

		public boolean isPressed() {

			return pressed;

		}	

	}

	/**

	 * Figure that defines scroll bar thumb.

	 * 

	 * @author lgrahek

	 * 

	 * @since 1.2

	 *

	 */

	protected class ThumbFigure extends Panel {		

		boolean highlighted;

		boolean pressed;

		@Override

		protected void paintFigure(Graphics g) {

			g.setAlpha(130);

			Rectangle r = getBounds().getCopy();

			// Fill with white, so later there will be 1px of

			// white left around outline.

			g.setBackgroundColor(ColorConstants.white);

			g.fillRectangle(getBounds());

			// Draw the outline (none when button is pressed)

			g.setLineWidth(mm_1);

			if (highlighted || pressed) {

				g.setForegroundColor(outlineDarkGrey);

			} else {

				g.setForegroundColor(outlineLightGrey);

			}

			g.drawRectangle(r);

			// Fill the interior, while leaving 1px white between outline and filled area.

			r = r.getCopy().shrink(mm_2, mm_2);

			if (pressed) {

				g.setBackgroundColor(fillDarkGrey);

			} else {

				g.setBackgroundColor(fillLightGrey);				

			}

			g.fillRectangle(r);		

		}	

			image = 

		/**

				Draw2dUIPluginImages.DESC_LEFT_GRAY_ARROW.getImageData();

		 * @param value true if highlighted, false if not

			leftGrayed = convert(image, palette1);

		 */

		public void setHighlighted(boolean value) {

			highlighted = value;

		}

		/**

		 * @return true if highlighted, false if not

		 */		

		public boolean isHighlighted() {

			return highlighted;

		}		

		/**

		 * @param value true if pressed, false if not

		 */		

		public void setPressed(boolean value) {

			pressed = value;

		}

			image = 

		/**

				Draw2dUIPluginImages.DESC_RIGHT_GRAY_ARROW.getImageData();

		 * @return true if pressed

			rightGrayed = convert(image, palette1);

		 */		

		public boolean isPressed() {

			palette1 = null;

			return pressed;

			palette2 = null;

		}			

	}

	/**

	 * Customizes ThumbDragger to set different colors to thumb depending on its

	 * state.

	 * 

	 * @author lgrahek

	 * 

	 * @since 1.2

	 * 

	 */

	protected class ThumbDraggerColors extends ThumbDragger {

		/* (non-Javadoc)

		 * @see org.eclipse.draw2d.MouseMotionListener.Stub#mouseEntered(org.eclipse.draw2d.MouseEvent)

		 */

		@Override

		public void mouseEntered(MouseEvent me) {

			// Set up highlight colors

			thumb.setHighlighted(true);

			thumb.setPressed(false);

			thumb.repaint();

			super.mouseEntered(me);

		}

		/* (non-Javadoc)

		 * @see org.eclipse.draw2d.MouseMotionListener.Stub#mouseExited(org.eclipse.draw2d.MouseEvent)

		 */

		@Override

		public void mouseExited(MouseEvent me) {

			// Set up colors: back to no-hover, no-drag colors

			thumb.setHighlighted(false);

			thumb.setPressed(false);

			thumb.repaint();

			super.mouseExited(me);

		private Image convert(ImageData theData, RGB[] colors) {

		/* (non-Javadoc)

			//theData.palette = new PaletteData(colors);

		 * @see org.eclipse.draw2d.ScrollBar.ThumbDragger#mousePressed(org.eclipse.draw2d.MouseEvent)

			return new Image(Display.getCurrent(), theData);

		 */

		@Override

		public void mousePressed(MouseEvent me) {

			// Set up pressed colors

			thumb.setHighlighted(false);

			thumb.setPressed(true);

			thumb.repaint();

			super.mousePressed(me);

	}

		/* (non-Javadoc)

		 * @see org.eclipse.draw2d.ScrollBar.ThumbDragger#mouseReleased(org.eclipse.draw2d.MouseEvent)

		 */

		@Override

		public void mouseReleased(MouseEvent me) {

			// Set up colors: back to hover

			thumb.setHighlighted(true);

			thumb.setPressed(false);

			thumb.repaint();

			super.mouseReleased(me);

		}		

	}	

 * Copyright (c) 2000, 2003  IBM Corporation and others.

 * Copyright (c) 2000, 2009  IBM Corporation and others.

        int mm_1 = mm.DPtoLP(1);

        int mm_0 = mm.DPtoLP(0);

        Insets insets = new Insets(mm_1, mm.DPtoLP(2),

        Insets insets = new Insets(mm_0, mm.DPtoLP(2),

            mm_1, mm.DPtoLP(0));

        		mm_0, mm_0);

        int mm_15 = mm.DPtoLP(15);

        int mm_14 = mm.DPtoLP(14);

        Dimension size = new Dimension(mm_15, mm_15);

        Dimension size = new Dimension(mm_14, mm_14);

        Insets insets = new Insets(mm_1, mm.DPtoLP(2),

        Insets insets = new Insets(mm_0, mm_0,

            mm_1, mm.DPtoLP(0));

        		mm_1, mm_1);

        int mm_15 = mm.DPtoLP(15);

        int mm_13 = mm.DPtoLP(13);

        Dimension size = new Dimension(mm_15, mm_15);

        Dimension size = new Dimension(mm_13, mm_13);

		refreshLineType();		

		refreshLineType();	

		refreshBackgroundColor();