commit | 830db9ea8cec7ad52d2ca82b071973b54fa03d38 | [log] [tgz] |
---|---|---|
author | Darin Swanson <darins> | Fri Feb 10 19:19:22 2006 +0000 |
committer | Darin Swanson <darins> | Fri Feb 10 19:19:22 2006 +0000 |
tree | fc5d9167f1cd1d6d63d0db05abad3a0633c53862 | |
parent | 774c479616353da23935c5462823fdcea340eeb1 [diff] |
Bug 123284 - Environment UI tweaks
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/JREsEnvironmentLabelProvider.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/JREsEnvironmentLabelProvider.java index 5d70acd..3038361 100644 --- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/JREsEnvironmentLabelProvider.java +++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/JREsEnvironmentLabelProvider.java
@@ -86,8 +86,8 @@ public Font getFont(Object element) { if (isStrictlyCompatible(element)) { if (fFont == null) { - Font defaultFont = JFaceResources.getDefaultFont(); - FontData[] fontData = defaultFont.getFontData(); + Font dialogFont = JFaceResources.getDialogFont(); + FontData[] fontData = dialogFont.getFontData(); for (int i = 0; i < fontData.length; i++) { FontData data = fontData[i]; data.setStyle(SWT.BOLD);