diff options
author | sarsenau | 2002-06-07 13:55:16 +0000 |
---|---|---|
committer | sarsenau | 2002-06-07 13:55:16 +0000 |
commit | bf21cb5c3c7605bbe9244cb192f25ce2bd28f3fc (patch) | |
tree | 4a68e332ca3b92be076ecae9e268528623c84747 /org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools | |
parent | 64c2888bd19f3bd89c81f060a8af25743103e265 (diff) | |
download | eclipse.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.java | 8 |
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); |