Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorsarsenau2002-06-07 13:55:16 +0000
committersarsenau2002-06-07 13:55:16 +0000
commitbf21cb5c3c7605bbe9244cb192f25ce2bd28f3fc (patch)
tree4a68e332ca3b92be076ecae9e268528623c84747 /org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools
parent64c2888bd19f3bd89c81f060a8af25743103e265 (diff)
downloadeclipse.platform.debug-bf21cb5c3c7605bbe9244cb192f25ce2bd28f3fc.tar.gz
eclipse.platform.debug-bf21cb5c3c7605bbe9244cb192f25ce2bd28f3fc.tar.xz
eclipse.platform.debug-bf21cb5c3c7605bbe9244cb192f25ce2bd28f3fc.zip
Fix PR 18748 - External Tools Configuration dialog Details field is too short
Diffstat (limited to 'org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools')
-rw-r--r--org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java8
1 files changed, 6 insertions, 2 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java
index efac2f2a9..e85f3395d 100644
--- a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java
+++ b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java
@@ -25,6 +25,9 @@ import org.eclipse.ui.help.WorkbenchHelp;
* Dialog box to add, remove, and edit external tools.
*/
public class ConfigurationDialog extends TitleAreaDialog {
+ // Minimum height in chars of the details text box.
+ private static final int DETAILS_HEIGHT = 5;
+
private ListViewer listViewer;
private Button newButton;
private Button editButton;
@@ -144,8 +147,9 @@ public class ConfigurationDialog extends TitleAreaDialog {
detailText = new Text(topComp, SWT.WRAP | SWT.MULTI | SWT.V_SCROLL | SWT.BORDER);
detailText.setEditable(false);
- detailText.setText("\n\n\n\n\n"); //$NON-NLS-1$
- detailText.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
+ GridData gridData = new GridData(GridData.FILL_HORIZONTAL);
+ gridData.heightHint = convertHeightInCharsToPixels(DETAILS_HEIGHT);
+ detailText.setLayoutData(gridData);
// Build the separator line
Label separator = new Label(topComp, SWT.HORIZONTAL | SWT.SEPARATOR);

Back to the top