Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
Copyright (c) 2000, 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.xtext.ui.util;
import  org.eclipse.jface.dialogs.Dialog;
import  org.eclipse.swt.graphics.Font;
import  org.eclipse.swt.graphics.FontMetrics;
import  org.eclipse.swt.graphics.GC;
import  org.eclipse.swt.widgets.Control;

Pixel conversion utility.
public class PixelConverter {
	private final FontMetrics fFontMetrics;
	public PixelConverter(Control control) {
		this(control.getFont());
	}
	public PixelConverter(Font font) {
		GC gc = new GC(font.getDevice());
		gc.setFont(font);
		 = gc.getFontMetrics();
		gc.dispose();
	}
	/*
	 * see
	 * org.eclipse.jface.dialogs.DialogPage#convertHeightInCharsToPixels(int)
	 */
	public int convertHeightInCharsToPixels(int chars) {
		return Dialog.convertHeightInCharsToPixels(chars);
	}
	/*
	 * see
	 * org.eclipse.jface.dialogs.DialogPage#convertHorizontalDLUsToPixels(int)
	 */
	public int convertHorizontalDLUsToPixels(int dlus) {
		return Dialog.convertHorizontalDLUsToPixels(dlus);
	}
	/*
	 * see org.eclipse.jface.dialogs.DialogPage#convertVerticalDLUsToPixels(int)
	 */
	public int convertVerticalDLUsToPixels(int dlus) {
		return Dialog.convertVerticalDLUsToPixels(dlus);
	}
	/*
	 * see org.eclipse.jface.dialogs.DialogPage#convertWidthInCharsToPixels(int)
	 */
	public int convertWidthInCharsToPixels(int chars) {
		return Dialog.convertWidthInCharsToPixels(chars);
	}
New to GrepCode? Check out our FAQ X