/*******************************************************************************
- * Copyright (c) 2000, 2003 IBM Corporation and others.
+ * Copyright (c) 2000, 2004 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
*******************************************************************************/
package net.sourceforge.phpdt.internal.ui.util;
-
+import org.eclipse.jface.dialogs.IDialogConstants;
+import org.eclipse.jface.resource.JFaceResources;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
import org.eclipse.swt.SWT;
import org.eclipse.swt.dnd.DragSource;
import org.eclipse.swt.dnd.DropTarget;
import org.eclipse.swt.widgets.Table;
import org.eclipse.swt.widgets.Widget;
-import org.eclipse.jface.dialogs.IDialogConstants;
-import org.eclipse.jface.resource.JFaceResources;
-import org.eclipse.jface.util.Assert;
-
/**
- * Utility class to simplify access to some SWT resources.
+ * Utility class to simplify access to some SWT resources.
*/
public class SWTUtil {
-
+
/**
- * Returns the standard display to be used. The method first checks, if
- * the thread calling this method has an associated disaply. If so, this
- * display is returned. Otherwise the method returns the default display.
+ * Returns the standard display to be used. The method first checks, if the
+ * thread calling this method has an associated disaply. If so, this display
+ * is returned. Otherwise the method returns the default display.
*/
public static Display getStandardDisplay() {
Display display;
- display= Display.getCurrent();
+ display = Display.getCurrent();
if (display == null)
- display= Display.getDefault();
- return display;
+ display = Display.getDefault();
+ return display;
}
-
+
/**
- * Returns the shell for the given widget. If the widget doesn't represent
- * a SWT object that manage a shell, <code>null</code> is returned.
+ * Returns the shell for the given widget. If the widget doesn't represent a
+ * SWT object that manage a shell, <code>null</code> is returned.
*
* @return the shell for the given widget
*/
public static Shell getShell(Widget widget) {
if (widget instanceof Control)
- return ((Control)widget).getShell();
+ return ((Control) widget).getShell();
if (widget instanceof Caret)
- return ((Caret)widget).getParent().getShell();
+ return ((Caret) widget).getParent().getShell();
if (widget instanceof DragSource)
- return ((DragSource)widget).getControl().getShell();
+ return ((DragSource) widget).getControl().getShell();
if (widget instanceof DropTarget)
- return ((DropTarget)widget).getControl().getShell();
+ return ((DropTarget) widget).getControl().getShell();
if (widget instanceof Menu)
- return ((Menu)widget).getParent().getShell();
+ return ((Menu) widget).getParent().getShell();
if (widget instanceof ScrollBar)
- return ((ScrollBar)widget).getParent().getShell();
-
- return null;
- }
+ return ((ScrollBar) widget).getParent().getShell();
+ return null;
+ }
/**
* Returns a width hint for a button control.
*/
public static int getButtonWidthHint(Button button) {
- if (button.getFont().equals(JFaceResources.getDefaultFont()))
- button.setFont(JFaceResources.getDialogFont());
- PixelConverter converter= new PixelConverter(button);
- int widthHint= converter.convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
- return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
+ button.setFont(JFaceResources.getDialogFont());
+ PixelConverter converter = new PixelConverter(button);
+ int widthHint = converter
+ .convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
+ return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT,
+ true).x);
}
/**
* Returns a height hint for a button control.
- */
- public static int getButtonHeigthHint(Button button) {
- if (button.getFont().equals(JFaceResources.getDefaultFont()))
- button.setFont(JFaceResources.getDialogFont());
- PixelConverter converter= new PixelConverter(button);
- return converter.convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
- }
+ */
+ public static int getButtonHeightHint(Button button) {
+ button.setFont(JFaceResources.getDialogFont());
+ PixelConverter converter = new PixelConverter(button);
+ return converter
+ .convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
+ }
-
/**
- * Sets width and height hint for the button control.
- * <b>Note:</b> This is a NOP if the button's layout data is not
- * an instance of <code>GridData</code>.
+ * Sets width and height hint for the button control. <b>Note:</b> This is
+ * a NOP if the button's layout data is not an instance of
+ * <code>GridData</code>.
*
- * @param the button for which to set the dimension hint
- */
+ * @param button
+ * the button for which to set the dimension hint
+ */
public static void setButtonDimensionHint(Button button) {
Assert.isNotNull(button);
- Object gd= button.getLayoutData();
+ Object gd = button.getLayoutData();
if (gd instanceof GridData) {
- ((GridData)gd).heightHint= getButtonHeigthHint(button);
- ((GridData)gd).widthHint= getButtonWidthHint(button);
+ ((GridData) gd).heightHint = getButtonHeightHint(button);
+ ((GridData) gd).widthHint = getButtonWidthHint(button);
+ ((GridData) gd).horizontalAlignment = GridData.FILL;
}
}
-
+
public static int getTableHeightHint(Table table, int rows) {
if (table.getFont().equals(JFaceResources.getDefaultFont()))
table.setFont(JFaceResources.getDialogFont());
- int result= table.getItemHeight() * rows + table.getHeaderHeight();
+ int result = table.getItemHeight() * rows + table.getHeaderHeight();
if (table.getLinesVisible())
- result+= table.getGridLineWidth() * (rows - 1);
- return result;
+ result += table.getGridLineWidth() * (rows - 1);
+ return result;
}
-
}