org.eclipse.xtext.ui.util

Class PixelConverter

java.lang.Object

org.eclipse.xtext.ui.util.PixelConverter

public class PixelConverter
extends java.lang.Object

Pixel conversion utility.

Constructor Summary

Constructors

Constructor and Description
PixelConverter(org.eclipse.swt.widgets.Control control)
PixelConverter(org.eclipse.swt.graphics.Font font)

Method Summary

Methods

Modifier and Type	Method and Description
int	convertHeightInCharsToPixels(int chars)
int	convertHorizontalDLUsToPixels(int dlus)
int	convertVerticalDLUsToPixels(int dlus)
int	convertWidthInCharsToPixels(int chars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PixelConverter

public PixelConverter(org.eclipse.swt.widgets.Control control)

PixelConverter

public PixelConverter(org.eclipse.swt.graphics.Font font)

Method Detail

convertHeightInCharsToPixels

public int convertHeightInCharsToPixels(int chars)

convertHorizontalDLUsToPixels

public int convertHorizontalDLUsToPixels(int dlus)

convertVerticalDLUsToPixels

public int convertVerticalDLUsToPixels(int dlus)

convertWidthInCharsToPixels

public int convertWidthInCharsToPixels(int chars)