All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.eclipse.ui.internal.TrimDragPreferences Maven / Gradle / Ivy

Go to download

This plug-in contains the bulk of the Workbench implementation, and depends on JFace, SWT, and Core Runtime. It cannot be used independently from org.eclipse.ui. Workbench client plug-ins should not depend directly on this plug-in.

The newest version!
/*******************************************************************************
 * 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.ui.internal;

/**
 * Static class to contain the preferences used to manage the GUI during
 * trim dragging.
 * 

* NOTE: this is a test harness at this time. This class may be removed * before the release of 3.2. *

* * @since 3.2 * */ public class TrimDragPreferences { /** * How close to a caret the cursor has to be to be 'valid' */ private static int thresholdPref = 50; /** * 'true' means that each trim element can have a different 'height' */ private static boolean raggedTrim = true; /* * Accessor Methods */ /** * @return Returns the threshold. */ public static int getThreshold() { return thresholdPref; } /** * @param threshold The threshold to set. */ public static void setThreshold(int threshold) { thresholdPref = threshold; } /** * @return Returns the raggedTrim. */ public static boolean showRaggedTrim() { return raggedTrim; } /** * @param raggedTrim The raggedTrim to set. */ public static void setRaggedTrim(boolean raggedTrim) { TrimDragPreferences.raggedTrim = raggedTrim; } }




© 2015 - 2025 Weber Informatics LLC | Privacy Policy