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

org.eclipse.jface.viewers.ColumnPixelData Maven / Gradle / Ivy

The newest version!
/*******************************************************************************
 * Copyright (c) 2000, 2015 IBM Corporation and others.
 *
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.jface.viewers;

import org.eclipse.core.runtime.Assert;
import org.eclipse.pde.api.tools.annotations.NoExtend;

/**
 * Describes the width of a table column in pixels, and
 * whether the column is resizable.
 * 

* This class may be instantiated; it is not intended to be subclassed. *

*/ @NoExtend public class ColumnPixelData extends ColumnLayoutData { /** * The column's width in pixels. */ public int width; /** * Whether to allocate extra width to the column to account for * trim taken by the column itself. * The default is false for backwards compatibility, but * the recommended practice is to specify true, and * specify the desired width for the content of the column, rather * than adding a fudge factor to the specified width. * * @since 3.1 */ public boolean addTrim = false; /** * Creates a resizable column width of the given number of pixels. * * @param widthInPixels the width of column in pixels */ public ColumnPixelData(int widthInPixels) { this(widthInPixels, true, false); } /** * Creates a column width of the given number of pixels. * * @param widthInPixels the width of column in pixels * @param resizable true if the column is resizable, * and false if size of the column is fixed */ public ColumnPixelData(int widthInPixels, boolean resizable) { this(widthInPixels, resizable, false); } /** * Creates a column width of the given number of pixels. * * @param widthInPixels * the width of column in pixels * @param resizable * true if the column is resizable, and * false if size of the column is fixed * @param addTrim * true to allocate extra width to the column to * account for trim taken by the column itself, * false to use the given width exactly * @since 3.1 */ public ColumnPixelData(int widthInPixels, boolean resizable, boolean addTrim) { super(resizable); Assert.isTrue(widthInPixels >= 0); this.width = widthInPixels; this.addTrim = addTrim; } }




© 2015 - 2024 Weber Informatics LLC | Privacy Policy