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

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

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

Method Summary

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)