1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpdt / internal / ui / util / TableLayoutComposite.java
diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/util/TableLayoutComposite.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/util/TableLayoutComposite.java
deleted file mode 100644 (file)
index 0873cd4..0000000
+++ /dev/null
@@ -1,179 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2000, 2003 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
- * http://www.eclipse.org/legal/cpl-v10.html
- * 
- * Contributors:
- *     IBM Corporation - initial API and implementation
- *******************************************************************************/
-package net.sourceforge.phpdt.internal.ui.util;
-
-import java.util.ArrayList;
-import java.util.List;
-
-//incastrix
-//import org.eclipse.jface.text.Assert;
-import org.eclipse.core.runtime.Assert;
-import org.eclipse.jface.viewers.ColumnLayoutData;
-import org.eclipse.jface.viewers.ColumnPixelData;
-import org.eclipse.jface.viewers.ColumnWeightData;
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.events.ControlAdapter;
-import org.eclipse.swt.events.ControlEvent;
-import org.eclipse.swt.graphics.Point;
-import org.eclipse.swt.graphics.Rectangle;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Table;
-import org.eclipse.swt.widgets.TableColumn;
-
-/**
- * A special composite to layout columns inside a table. The composite is needed
- * since we have to layout the columns "before" the actual table gets layouted.
- * Hence we can't use a normal layout manager.
- */
-public class TableLayoutComposite extends Composite {
-
-       private List columns = new ArrayList();
-
-       /**
-        * Creates a new <code>TableLayoutComposite</code>.
-        */
-       public TableLayoutComposite(Composite parent, int style) {
-               super(parent, style);
-               addControlListener(new ControlAdapter() {
-                       public void controlResized(ControlEvent e) {
-                               Rectangle area = getClientArea();
-                               Table table = (Table) getChildren()[0];
-                               Point preferredSize = computeTableSize(table);
-                               int width = area.width - 2 * table.getBorderWidth();
-                               if (preferredSize.y > area.height) {
-                                       // Subtract the scrollbar width from the total column width
-                                       // if a vertical scrollbar will be required
-                                       Point vBarSize = table.getVerticalBar().getSize();
-                                       width -= vBarSize.x;
-                               }
-                               layoutTable(table, width, area, table.getSize().x < area.width);
-                       }
-               });
-       }
-
-       /**
-        * Adds a new column of data to this table layout.
-        * 
-        * @param data
-        *            the column layout data
-        */
-       public void addColumnData(ColumnLayoutData data) {
-               columns.add(data);
-       }
-
-       // ---- Helpers
-       // -------------------------------------------------------------------------------------
-
-       private Point computeTableSize(Table table) {
-               Point result = table.computeSize(SWT.DEFAULT, SWT.DEFAULT);
-
-               int width = 0;
-               int size = columns.size();
-               for (int i = 0; i < size; ++i) {
-                       ColumnLayoutData layoutData = (ColumnLayoutData) columns.get(i);
-                       if (layoutData instanceof ColumnPixelData) {
-                               ColumnPixelData col = (ColumnPixelData) layoutData;
-                               width += col.width;
-                       } else if (layoutData instanceof ColumnWeightData) {
-                               ColumnWeightData col = (ColumnWeightData) layoutData;
-                               width += col.minimumWidth;
-                       } else {
-                               Assert.isTrue(false, "Unknown column layout data"); //$NON-NLS-1$
-                       }
-               }
-               if (width > result.x)
-                       result.x = width;
-               return result;
-       }
-
-       private void layoutTable(Table table, int width, Rectangle area,
-                       boolean increase) {
-               // XXX: Layout is being called with an invalid value the first time
-               // it is being called on Linux. This method resets the
-               // Layout to null so we make sure we run it only when
-               // the value is OK.
-               if (width <= 1)
-                       return;
-
-               TableColumn[] tableColumns = table.getColumns();
-               int size = Math.min(columns.size(), tableColumns.length);
-               int[] widths = new int[size];
-               int fixedWidth = 0;
-               int numberOfWeightColumns = 0;
-               int totalWeight = 0;
-
-               // First calc space occupied by fixed columns
-               for (int i = 0; i < size; i++) {
-                       ColumnLayoutData col = (ColumnLayoutData) columns.get(i);
-                       if (col instanceof ColumnPixelData) {
-                               int pixels = ((ColumnPixelData) col).width;
-                               widths[i] = pixels;
-                               fixedWidth += pixels;
-                       } else if (col instanceof ColumnWeightData) {
-                               ColumnWeightData cw = (ColumnWeightData) col;
-                               numberOfWeightColumns++;
-                               // first time, use the weight specified by the column data,
-                               // otherwise use the actual width as the weight
-                               // int weight = firstTime ? cw.weight :
-                               // tableColumns[i].getWidth();
-                               int weight = cw.weight;
-                               totalWeight += weight;
-                       } else {
-                               Assert.isTrue(false, "Unknown column layout data"); //$NON-NLS-1$
-                       }
-               }
-
-               // Do we have columns that have a weight
-               if (numberOfWeightColumns > 0) {
-                       // Now distribute the rest to the columns with weight.
-                       int rest = width - fixedWidth;
-                       int totalDistributed = 0;
-                       for (int i = 0; i < size; ++i) {
-                               ColumnLayoutData col = (ColumnLayoutData) columns.get(i);
-                               if (col instanceof ColumnWeightData) {
-                                       ColumnWeightData cw = (ColumnWeightData) col;
-                                       // calculate weight as above
-                                       // int weight = firstTime ? cw.weight :
-                                       // tableColumns[i].getWidth();
-                                       int weight = cw.weight;
-                                       int pixels = totalWeight == 0 ? 0 : weight * rest
-                                                       / totalWeight;
-                                       if (pixels < cw.minimumWidth)
-                                               pixels = cw.minimumWidth;
-                                       totalDistributed += pixels;
-                                       widths[i] = pixels;
-                               }
-                       }
-
-                       // Distribute any remaining pixels to columns with weight.
-                       int diff = rest - totalDistributed;
-                       for (int i = 0; diff > 0; ++i) {
-                               if (i == size)
-                                       i = 0;
-                               ColumnLayoutData col = (ColumnLayoutData) columns.get(i);
-                               if (col instanceof ColumnWeightData) {
-                                       ++widths[i];
-                                       --diff;
-                               }
-                       }
-               }
-
-               if (increase) {
-                       table.setSize(area.width, area.height);
-               }
-               for (int i = 0; i < size; i++) {
-                       tableColumns[i].setWidth(widths[i]);
-               }
-               if (!increase) {
-                       table.setSize(area.width, area.height);
-               }
-       }
-}