1 files changed, 0 insertions, 105 deletions
diff --git a/plugins/views/properties/org.eclipse.papyrus.views.properties/src/org/eclipse/papyrus/views/properties/widgets/IntegerSpinner.java b/plugins/views/properties/org.eclipse.papyrus.views.properties/src/org/eclipse/papyrus/views/properties/widgets/IntegerSpinner.java
deleted file mode 100644
index db9dec97f74..00000000000
--- a/plugins/views/properties/org.eclipse.papyrus.views.properties/src/org/eclipse/papyrus/views/properties/widgets/IntegerSpinner.java
+++ /dev/null
@@ -1,105 +0,0 @@
-/*****************************************************************************
- * Copyright (c) 2011 CEA LIST.
- *
- * 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:
- *  Camille Letavernier (CEA LIST) camille.letavernier@cea.fr - Initial API and implementation
- *****************************************************************************/
-package org.eclipse.papyrus.views.properties.widgets;
-
-import org.eclipse.swt.widgets.Composite;
-
-/**
- * A widget for editing Integer values with a SWT Spinner
- *
- * @author Camille Letavernier
- *
- * @see org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner
- * @see org.eclipse.swt.widgets.Spinner
- */
-public class IntegerSpinner extends AbstractPropertyEditor {
-
-	private org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner spinner;
-
-	private int minimum = 0, maximum = 100, increment = 1;
-
-	/**
-	 *
-	 * Constructor.
-	 *
-	 * @param parent
-	 * @param style
-	 */
-	public IntegerSpinner(Composite parent, int style) {
-		spinner = createIntegerSpinner(parent, style);
-		spinner.setMinimum(minimum);
-		spinner.setMaximum(maximum);
-		spinner.setIncrement(increment);
-		setEditor(spinner);
-	}
-
-	/**
-	 * Creates the integer spinner.
-	 *
-	 * @param parent
-	 *            The composite in which the widget will be displayed
-	 * @param style
-	 *            The style for the widget
-	 * @return the integer spinner.
-	 */
-	protected org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner createIntegerSpinner(Composite parent, int style) {
-		return new org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner(parent, style);
-	}
-
-	/**
-	 * @return the minimum value for the spinner
-	 */
-	public int getMinimum() {
-		return minimum;
-	}
-
-	/**
-	 * @param minimum
-	 *            the minimum value for the spinner
-	 */
-	public void setMinimum(int minimum) {
-		this.minimum = minimum;
-		spinner.setMinimum(minimum);
-	}
-
-	/**
-	 * @return the maximum value for the spinner
-	 */
-	public int getMaximum() {
-		return maximum;
-	}
-
-	/**
-	 * @param maximum
-	 *            the maximum value for the spinner
-	 */
-	public void setMaximum(int maximum) {
-		this.maximum = maximum;
-		spinner.setMaximum(maximum);
-	}
-
-	/**
-	 * @return the increment value for the spinner
-	 */
-	public int getIncrement() {
-		return increment;
-	}
-
-	/**
-	 * @param increment
-	 *            the increment value for the spinner
-	 */
-	public void setIncrement(int increment) {
-		this.increment = increment;
-		spinner.setIncrement(increment);
-	}
-}