Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorsarsenau2002-06-19 11:47:34 -0400
committersarsenau2002-06-19 11:47:34 -0400
commit429d61094c16636cd48c782274ed49a71f6a4cd1 (patch)
tree97c43792fd5654b6d675be71d982868283a198d1
parent443489be2d75719f07a713cd50070278980717f5 (diff)
downloadeclipse.platform.debug-429d61094c16636cd48c782274ed49a71f6a4cd1.tar.gz
eclipse.platform.debug-429d61094c16636cd48c782274ed49a71f6a4cd1.tar.xz
eclipse.platform.debug-429d61094c16636cd48c782274ed49a71f6a4cd1.zip
Fix for PR 20403 - External Tool Builders - names truncated
-rw-r--r--org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java11
1 files changed, 5 insertions, 6 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java
index c51acc432..46d6e8f06 100644
--- a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java
+++ b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java
@@ -29,6 +29,8 @@ import org.eclipse.ui.externaltools.internal.core.*;
* Property page to add external tools in between builders.
*/
public final class BuilderPropertyPage extends PropertyPage {
+ private static final int BUILDER_TABLE_WIDTH = 250;
+
private Table builderTable;
private Button upButton, downButton, newButton, editButton, removeButton;
private ArrayList imagesToDispose = new ArrayList();
@@ -171,12 +173,9 @@ public final class BuilderPropertyPage extends PropertyPage {
// table of builders and tools
builderTable = new Table(tableAndButtons, SWT.SINGLE | SWT.H_SCROLL | SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
- builderTable.setLayoutData(new GridData(GridData.FILL_BOTH));
- TableLayout tableLayout = new TableLayout();
- builderTable.setLayout(tableLayout);
- TableColumn tc = new TableColumn(builderTable, SWT.NONE);
- tc.setResizable(false);
- tableLayout.addColumnData(new ColumnWeightData(100));
+ GridData data = new GridData(GridData.FILL_BOTH);
+ data.widthHint = BUILDER_TABLE_WIDTH;
+ builderTable.setLayoutData(data);
builderTable.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
handleTableSelectionChanged();

Back to the top