commit | 69225fb4fb1e7f140c381ae4ebee4121f9c3f3c9 | [log] [tgz] |
---|---|---|
author | Michael Rennie <mrennie> | Mon Jul 04 14:56:11 2011 +0000 |
committer | Michael Rennie <mrennie> | Mon Jul 04 14:56:11 2011 +0000 |
tree | b757ce2296c76e6854018c29cf2b39006933cdf2 | |
parent | 03aad122631e25603aac89eb174d39380daa2870 [diff] |
Bug 350733 - Breakpoint condition editor needs a height hint
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/breakpoints/JavaBreakpointConditionEditor.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/breakpoints/JavaBreakpointConditionEditor.java index b617339..48b7609 100644 --- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/breakpoints/JavaBreakpointConditionEditor.java +++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/breakpoints/JavaBreakpointConditionEditor.java
@@ -385,7 +385,7 @@ GC gc = new GC(fViewer.getTextWidget()); gc.setFont(fViewer.getTextWidget().getFont()); FontMetrics fontMetrics = gc.getFontMetrics(); - //gd.heightHint = Dialog.convertHeightInCharsToPixels(fontMetrics, 10); + gd.heightHint = Dialog.convertHeightInCharsToPixels(fontMetrics, 17); gd.widthHint = Dialog.convertWidthInCharsToPixels(fontMetrics, 40); gc.dispose(); fViewer.getControl().setLayoutData(gd);