Community
Participate
Working Groups
We need to allow users to change the font preferences used in various parts of the desktop. Likewise for colour preferences. Views and editors must be able to update themselves when these preferences change. There is some support in JFace for this. See Window.handleFontChange(...) and the rest of the implementation. Need a story for how desktop parts update themselves. Desktop parts will need control over this, since they may be using their own font. NOTES: NE (12/5/00 2:04:40 PM) Low priority. Can wait until Jan. NE (1/12/01 10:29:31 AM) Moved back to Inbox for reassignment. KH (8/2/2001 12:56:50 PM) Also need to avoid having every plugin define their own preference pages.
PRODUCT VERSION: 035
Stale PR. FontRegistry has listeners, which are now being used for this purpose.