Bug 32610 Java Editor Font Does not change when Text Editor font changes
2.1 RC1 The Java editor should use the text font unless explicitly set. 1. Open Java editor 2. Change text font Observe: The Java editor does not use the font indicated on the preference page Note: After restarting the workbench the new font is used. Changing the text editor font resets the Java editor font again.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceConverter.java
package org.eclipse.jface.preference;
/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
import java.util.Arrays;
import java.util.StringTokenizer;
import org.eclipse.jface.resource.*;
import org.eclipse.swt.SWTException;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.widgets.Shell;
/**
 * A utility class for dealing with preferences whose values are
 * common SWT objects (color, points, rectangles, and font data).
 * The static methods on this class handle the conversion between
 * the SWT objects and their string representations.
 * <p>
 * Usage:
 * <pre>
 * IPreferenceStore store = ...;
 * PreferenceConverter.setValue(store, "bg", new RGB(127,127,127));
 * ...
 * RBG bgColor = PreferenceConverter.getValue(store, "bg");
 * </pre>
 * </p>
 * <p>
 * This class contains static methods and fields only and cannot