diff options
| author | jszursze | 2002-06-05 15:28:00 +0000 |
|---|---|---|
| committer | jszursze | 2002-06-05 15:28:00 +0000 |
| commit | 041a3464404c40de3191157fa292b83566c1ae95 (patch) | |
| tree | 44cf26f7d4b500dc14e74352d2f0a2c6e38b3cde /org.eclipse.debug.ui | |
| parent | c6125d398041d21d68624bd05e64f3e5a43a85cb (diff) | |
| download | eclipse.platform.debug-041a3464404c40de3191157fa292b83566c1ae95.tar.gz eclipse.platform.debug-041a3464404c40de3191157fa292b83566c1ae95.tar.xz eclipse.platform.debug-041a3464404c40de3191157fa292b83566c1ae95.zip | |
potential fix for 18772
Diffstat (limited to 'org.eclipse.debug.ui')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java index b54c6a973..0bfaa6a13 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java @@ -481,7 +481,8 @@ public class LaunchConfigurationDialog extends TitleAreaDialog int marginWidth = ((GridLayout)getSelectionArea().getLayout()).marginWidth;
int horizontalSpacing = ((GridLayout)getSelectionArea().getLayout()).horizontalSpacing;
requiredWidth += (2 * marginWidth) + horizontalSpacing;
- int currentWidth = getSelectionArea().getBounds().width + (2 * marginWidth);
+ //int currentWidth = getSelectionArea().getBounds().width + (2 * marginWidth);
+ int currentWidth = getSelectionArea().getBounds().width;
if (requiredWidth > currentWidth) {
int[] newSashWeights = new int[2];
|