Skip to main content
aboutsummaryrefslogtreecommitdiffstats
blob: 287c58018d7ca78c2ea6bd6bbb6c89d80dda7a74 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
package org.eclipse.cdt.debug.mi.internal.ui;


/**********************************************************************
Copyright (c) 2000, 2002 IBM Corp. and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Common Public License v0.5
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/cpl-v05.html

Contributors:
    IBM Corporation - Initial implementation
**********************************************************************/

import org.eclipse.jface.dialogs.Dialog;
import org.eclipse.swt.graphics.FontMetrics;
import org.eclipse.swt.graphics.GC;
import org.eclipse.swt.widgets.Control;

public class PixelConverter
{
	private FontMetrics fFontMetrics;

	public PixelConverter( Control control )
	{
		GC gc = new GC( control );
		gc.setFont( control.getFont() );
		fFontMetrics = gc.getFontMetrics();
		gc.dispose();
	}

	/**
	 * @see org.eclipse.jface.dialogs.DialogPage#convertHeightInCharsToPixels(int)
	 */
	public int convertHeightInCharsToPixels( int chars )
	{
		return Dialog.convertHeightInCharsToPixels( fFontMetrics, chars );
	}

	/**
	 * @see org.eclipse.jface.dialogs.DialogPage#convertHorizontalDLUsToPixels(int)
	 */
	public int convertHorizontalDLUsToPixels( int dlus )
	{
		return Dialog.convertHorizontalDLUsToPixels( fFontMetrics, dlus );
	}

	/**
	 * @see org.eclipse.jface.dialogs.DialogPage#convertVerticalDLUsToPixels(int)
	 */
	public int convertVerticalDLUsToPixels( int dlus )
	{
		return Dialog.convertVerticalDLUsToPixels( fFontMetrics, dlus );
	}

	/**
	 * @see org.eclipse.jface.dialogs.DialogPage#convertWidthInCharsToPixels(int)
	 */
	public int convertWidthInCharsToPixels( int chars )
	{
		return Dialog.convertWidthInCharsToPixels( fFontMetrics, chars );
	}
}

Back to the top