diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvDialog.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvDialog.java index 1d1647734d1..7c1ab011517 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvDialog.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvDialog.java @@ -72,6 +72,7 @@ public class EnvDialog extends Dialog { text1 = new Text(c, SWT.SINGLE | SWT.BORDER); gd = new GridData(GridData.FILL_HORIZONTAL); gd.horizontalSpan = 2; + gd.widthHint = 400; text1.setLayoutData(gd); text1.addModifyListener(new ModifyListener () { public void modifyText(ModifyEvent e) { setButtons(); }}); @@ -81,7 +82,9 @@ public class EnvDialog extends Dialog { l2.setLayoutData(new GridData(GridData.BEGINNING)); text2 = new Text(c, SWT.SINGLE | SWT.BORDER); - text2.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); + gd = new GridData(GridData.FILL_HORIZONTAL); + gd.widthHint = 250; + text2.setLayoutData(gd); text2.addModifyListener(new ModifyListener () { public void modifyText(ModifyEvent e) { setButtons(); }}); diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvironmentTab.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvironmentTab.java index 5171c409ad6..4567bac84b4 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvironmentTab.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/EnvironmentTab.java @@ -27,6 +27,7 @@ import org.eclipse.jface.window.Window; import org.eclipse.swt.SWT; import org.eclipse.swt.events.SelectionAdapter; import org.eclipse.swt.events.SelectionEvent; +import org.eclipse.swt.events.SelectionListener; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.graphics.Font; import org.eclipse.swt.graphics.Image; @@ -147,10 +148,14 @@ public class EnvironmentTab extends AbstractCPropertyTab { table = new Table(usercomp, SWT.BORDER | SWT.MULTI | SWT.WRAP | SWT.H_SCROLL | SWT.FULL_SELECTION); table.setHeaderVisible(true); table.setLinesVisible(true); - table.addSelectionListener(new SelectionAdapter() { + table.addSelectionListener(new SelectionListener() { public void widgetSelected(SelectionEvent e) { updateButtons(); - }}); + } + public void widgetDefaultSelected(SelectionEvent e) { + if (buttonIsEnabled(2) && table.getSelectionIndex() != -1) + buttonPressed(2); + }}); tv = new TableViewer(table); tv.setContentProvider(new IStructuredContentProvider() {