bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/WorkbenchThemeManager.java - platform/eclipse.platform.ui - Git at Google

 /*******************************************************************************
  * Copyright (c) 2004, 2008 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *******************************************************************************/
 package org.eclipse.ui.internal.themes;

 import java.util.HashMap;
 import java.util.Iterator;
 import java.util.Map;

 import org.eclipse.core.commands.common.EventManager;
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.jface.resource.ColorRegistry;
 import org.eclipse.jface.resource.FontRegistry;
 import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.jface.util.IPropertyChangeListener;
 import org.eclipse.jface.util.PropertyChangeEvent;
 import org.eclipse.swt.SWT;
 import org.eclipse.swt.graphics.FontData;
 import org.eclipse.swt.graphics.RGB;
 import org.eclipse.swt.widgets.Display;
 import org.eclipse.swt.widgets.Event;
 import org.eclipse.swt.widgets.Listener;
 import org.eclipse.ui.IWorkbenchPreferenceConstants;
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.internal.WorkbenchPlugin;
 import org.eclipse.ui.internal.misc.StatusUtil;
 import org.eclipse.ui.internal.util.PrefUtil;
 import org.eclipse.ui.statushandlers.StatusManager;
 import org.eclipse.ui.themes.ITheme;
 import org.eclipse.ui.themes.IThemeManager;

 /**
  * Theme manager for the Workbench.
  *
  * @since 3.0
  */
 public class WorkbenchThemeManager extends EventManager implements
 		IThemeManager {

 	private static final String SYSTEM_DEFAULT_THEME = "org.eclipse.ui.ide.systemDefault";//$NON-NLS-1$

 	private static WorkbenchThemeManager instance;

 	/**
 	 * Returns the singelton instance of the WorkbenchThemeManager
 	 *
 	 * @return singleton instance
 	 */
 	public static synchronized WorkbenchThemeManager getInstance() {
 		if (instance == null) {
 			instance = new WorkbenchThemeManager();
 			instance.getCurrentTheme(); // initialize the current theme
 		}
 		return instance;
 	}

 	private ITheme currentTheme;

 	private IPropertyChangeListener currentThemeListener = new IPropertyChangeListener() {

 		public void propertyChange(PropertyChangeEvent event) {
 			firePropertyChange(event);
 			if (event.getSource() instanceof FontRegistry) {
 				JFaceResources.getFontRegistry().put(event.getProperty(),
 						(FontData[]) event.getNewValue());
 			} else if (event.getSource() instanceof ColorRegistry) {
 				JFaceResources.getColorRegistry().put(event.getProperty(),
 						(RGB) event.getNewValue());
 			}
 		}
 	};

 	private ColorRegistry defaultThemeColorRegistry;

 	private FontRegistry defaultThemeFontRegistry;

 	private IThemeRegistry themeRegistry;

 	private Map themes = new HashMap(7);

 	/*
 	 * Initialize the WorkbenchThemeManager.
 	 * Determine the default theme according to the following rules:
 	 *   1) If we're in HC mode then default to system default
 	 *   2) Otherwise, if preference already set (e.g. via plugin_customization.ini), then observe that value
 	 *   3) Otherwise, use our default
 	 * Call dispose when we close.
 	 */
 	private WorkbenchThemeManager() {
 		defaultThemeColorRegistry = new ColorRegistry(PlatformUI.getWorkbench()
 				.getDisplay());

 		defaultThemeFontRegistry = new FontRegistry(PlatformUI.getWorkbench()
 				.getDisplay());

 		// copy the font values from preferences.
 		FontRegistry jfaceFonts = JFaceResources.getFontRegistry();
 		for (Iterator i = jfaceFonts.getKeySet().iterator(); i.hasNext();) {
 			String key = (String) i.next();
 			defaultThemeFontRegistry.put(key, jfaceFonts.getFontData(key));
 		}

 		//Theme might be set via plugin_configuration.ini
 		String themeId = PrefUtil.getAPIPreferenceStore().getDefaultString(IWorkbenchPreferenceConstants.CURRENT_THEME_ID);

 		//If not set, use default
 		if(themeId.length() == 0)
 			themeId = IThemeManager.DEFAULT_THEME;

 		// Check if we are in high contrast mode. If so then set the theme to
 		// the system default
 		if (PlatformUI.getWorkbench().getDisplay() != null) {
 			// Determine the high contrast setting before
 			// any access to preferences
 			final boolean[] highContrast = new boolean[] { false };
 			PlatformUI.getWorkbench().getDisplay().syncExec(new Runnable() {

 				/*
 				 * (non-Javadoc)
 				 *
 				 * @see java.lang.Runnable#run()
 				 */
 				public void run() {
 					highContrast[0] = Display.getCurrent().getHighContrast();

 					Display.getCurrent().addListener(SWT.Settings, new Listener() {
 						public void handleEvent(Event event) {
 							updateThemes();
 						}
 					});
 				}
 			});

 			//If in HC, *always* use the system default.
 			//This ignores any default theme set via plugin_customization.ini
 			if (highContrast[0])
 				themeId = SYSTEM_DEFAULT_THEME;
 		}

 		PrefUtil.getAPIPreferenceStore().setDefault(
 				IWorkbenchPreferenceConstants.CURRENT_THEME_ID, themeId);
 	}

 	/*
 	 * Update existing theme contents, descriptors, and registries.
 	 * Reread the themes and recompute the registries.
 	 */
 	private void updateThemes() {
 		//reread the themes since their descriptors have changed in value
         ThemeRegistryReader reader = new ThemeRegistryReader();
         reader.readThemes(Platform.getExtensionRegistry(),(ThemeRegistry) getThemeRegistry());

         //DEFAULT_THEME is not in getThemes() list so must be handled special
         ThemeElementHelper.populateRegistry(getTheme(IThemeManager.DEFAULT_THEME), getThemeRegistry().getColors(), PrefUtil.getInternalPreferenceStore());

         IThemeDescriptor[] themeDescriptors = getThemeRegistry().getThemes();

        	for (int i=0; i < themeDescriptors.length; i++) {
         	IThemeDescriptor themeDescriptor = themeDescriptors[i];
     		ITheme theme = (ITheme) themes.get(themeDescriptor);
     		//If theme is in our themes table then its already been populated
     		if (theme != null) {
                 ColorDefinition[] colorDefinitions = themeDescriptor.getColors();

                if (colorDefinitions.length > 0) {
                 	ThemeElementHelper.populateRegistry(theme, colorDefinitions,PrefUtil.getInternalPreferenceStore());
                 }
     		}
 		}
 	}
 	/*
 	 * (non-Javadoc)
 	 *
 	 * @see org.eclipse.ui.themes.IThemeManager#addPropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener)
 	 */
 	public void addPropertyChangeListener(IPropertyChangeListener listener) {
 		addListenerObject(listener);
 	}

 	/**
 	 * Disposes all ThemeEntries.
 	 */
 	public void dispose() {
 		for (Iterator i = themes.values().iterator(); i.hasNext();) {
 			ITheme theme = (ITheme) i.next();
 			theme.removePropertyChangeListener(currentThemeListener);
 			theme.dispose();
 		}
 		themes.clear();
 	}

 	private boolean doSetCurrentTheme(String id) {
 		ITheme oldTheme = currentTheme;
 		ITheme newTheme = getTheme(id);
 		if (oldTheme != newTheme && newTheme != null) {
 			currentTheme = newTheme;
 			return true;
 		}

 		return false;
 	}

 	protected void firePropertyChange(PropertyChangeEvent event) {
 		Object[] listeners = getListeners();

 		for (int i = 0; i < listeners.length; i++) {
 			((IPropertyChangeListener) listeners[i]).propertyChange(event);
 		}
 	}

 	protected void firePropertyChange(String changeId, ITheme oldTheme,
 			ITheme newTheme) {

 		PropertyChangeEvent event = new PropertyChangeEvent(this, changeId,
 				oldTheme, newTheme);
 		firePropertyChange(event);
 	}

 	/*
 	 * (non-Javadoc)
 	 *
 	 * @see org.eclipse.ui.themes.IThemeManager#getCurrentTheme()
 	 */
 	public ITheme getCurrentTheme() {
 		if (currentTheme == null) {
 			String themeId = PrefUtil.getAPIPreferenceStore().getString(
 					IWorkbenchPreferenceConstants.CURRENT_THEME_ID);

 			if (themeId == null) // missing preference
 				setCurrentTheme(IThemeManager.DEFAULT_THEME);
 			else {
 				setCurrentTheme(themeId);
 				if (currentTheme == null) { // still null - the preference
 											// didn't resolve to a proper theme
 					setCurrentTheme(IThemeManager.DEFAULT_THEME);
 					StatusManager
 							.getManager()
 							.handle(
 									StatusUtil
 											.newStatus(
 													PlatformUI.PLUGIN_ID,
 													"Could not restore current theme: " + themeId, null)); //$NON-NLS-1$
 				}
 			}
 		}
 		return currentTheme;
 	}

 	/**
 	 * Return the default color registry.
 	 *
 	 * @return the default color registry
 	 */
 	public ColorRegistry getDefaultThemeColorRegistry() {
 		return defaultThemeColorRegistry;
 	}

 	/**
 	 * Return the default font registry.
 	 *
 	 * @return the default font registry
 	 */
 	public FontRegistry getDefaultThemeFontRegistry() {
 		return defaultThemeFontRegistry;
 	}

 	private ITheme getTheme(IThemeDescriptor td) {
 		ITheme theme = (ITheme) themes.get(td);
 		if (theme == null) {
 			theme = new Theme(td);
 			themes.put(td, theme);
 		}
 		return theme;
 	}

 	/*
 	 * (non-Javadoc)
 	 *
 	 * @see org.eclipse.ui.themes.IThemeManager#getTheme(java.lang.String)
 	 */
 	public ITheme getTheme(String id) {
 		if (id.equals(IThemeManager.DEFAULT_THEME)) {
 			return getTheme((IThemeDescriptor) null);
 		}

 		IThemeDescriptor td = getThemeRegistry().findTheme(id);
 		if (td == null) {
 			return null;
 		}
 		return getTheme(td);
 	}

 	/**
 	 * Answer the IThemeRegistry for the Workbench
 	 */
 	private IThemeRegistry getThemeRegistry() {
 		if (themeRegistry == null) {
 			themeRegistry = WorkbenchPlugin.getDefault().getThemeRegistry();
 		}
 		return themeRegistry;
 	}

 	/*
 	 * (non-Javadoc)
 	 *
 	 * @see org.eclipse.ui.themes.IThemeManager#removePropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener)
 	 */
 	public void removePropertyChangeListener(IPropertyChangeListener listener) {
 		removeListenerObject(listener);
 	}

 	/*
 	 * (non-Javadoc)
 	 *
 	 * @see org.eclipse.ui.themes.IThemeManager#setCurrentTheme(java.lang.String)
 	 */
 	public void setCurrentTheme(String id) {
 		ITheme oldTheme = currentTheme;
 		if (WorkbenchThemeManager.getInstance().doSetCurrentTheme(id)) {
 			firePropertyChange(CHANGE_CURRENT_THEME, oldTheme,
 					getCurrentTheme());
 			if (oldTheme != null) {
 				oldTheme.removePropertyChangeListener(currentThemeListener);
 			}
 			currentTheme.addPropertyChangeListener(currentThemeListener);

 			// update the preference if required.
 			if (!PrefUtil.getAPIPreferenceStore().getString(
 					IWorkbenchPreferenceConstants.CURRENT_THEME_ID).equals(id)) {
 				PrefUtil.getAPIPreferenceStore().setValue(
 						IWorkbenchPreferenceConstants.CURRENT_THEME_ID, id);
 				PrefUtil.saveAPIPrefs();
 			}

 			// update the jface registries
 			{
 				ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
 				ColorRegistry themeColors = currentTheme.getColorRegistry();
 				for (Iterator i = themeColors.getKeySet().iterator(); i
 						.hasNext();) {
 					String key = (String) i.next();
 					jfaceColors.put(key, themeColors.getRGB(key));
 				}
 			}
 			{
 				FontRegistry jfaceFonts = JFaceResources.getFontRegistry();
 				FontRegistry themeFonts = currentTheme.getFontRegistry();
 				for (Iterator i = themeFonts.getKeySet().iterator(); i
 						.hasNext();) {
 					String key = (String) i.next();
 					jfaceFonts.put(key, themeFonts.getFontData(key));
 				}
 			}
 		}
 	}
 }
	/*******************************************************************************
	* Copyright (c) 2004, 2008 IBM Corporation and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* Contributors:
	* IBM Corporation - initial API and implementation
	*******************************************************************************/
	package org.eclipse.ui.internal.themes;

	import java.util.HashMap;
	import java.util.Iterator;
	import java.util.Map;

	import org.eclipse.core.commands.common.EventManager;
	import org.eclipse.core.runtime.Platform;
	import org.eclipse.jface.resource.ColorRegistry;
	import org.eclipse.jface.resource.FontRegistry;
	import org.eclipse.jface.resource.JFaceResources;
	import org.eclipse.jface.util.IPropertyChangeListener;
	import org.eclipse.jface.util.PropertyChangeEvent;
	import org.eclipse.swt.SWT;
	import org.eclipse.swt.graphics.FontData;
	import org.eclipse.swt.graphics.RGB;
	import org.eclipse.swt.widgets.Display;
	import org.eclipse.swt.widgets.Event;
	import org.eclipse.swt.widgets.Listener;
	import org.eclipse.ui.IWorkbenchPreferenceConstants;
	import org.eclipse.ui.PlatformUI;
	import org.eclipse.ui.internal.WorkbenchPlugin;
	import org.eclipse.ui.internal.misc.StatusUtil;
	import org.eclipse.ui.internal.util.PrefUtil;
	import org.eclipse.ui.statushandlers.StatusManager;
	import org.eclipse.ui.themes.ITheme;
	import org.eclipse.ui.themes.IThemeManager;

	/**
	* Theme manager for the Workbench.
	*
	* @since 3.0
	*/
	public class WorkbenchThemeManager extends EventManager implements
	IThemeManager {

	private static final String SYSTEM_DEFAULT_THEME = "org.eclipse.ui.ide.systemDefault";//$NON-NLS-1$

	private static WorkbenchThemeManager instance;

	/**
	* Returns the singelton instance of the WorkbenchThemeManager
	*
	* @return singleton instance
	*/
	public static synchronized WorkbenchThemeManager getInstance() {
	if (instance == null) {
	instance = new WorkbenchThemeManager();
	instance.getCurrentTheme(); // initialize the current theme
	}
	return instance;
	}

	private ITheme currentTheme;

	private IPropertyChangeListener currentThemeListener = new IPropertyChangeListener() {

	public void propertyChange(PropertyChangeEvent event) {
	firePropertyChange(event);
	if (event.getSource() instanceof FontRegistry) {
	JFaceResources.getFontRegistry().put(event.getProperty(),
	(FontData[]) event.getNewValue());
	} else if (event.getSource() instanceof ColorRegistry) {
	JFaceResources.getColorRegistry().put(event.getProperty(),
	(RGB) event.getNewValue());
	}
	}
	};

	private ColorRegistry defaultThemeColorRegistry;

	private FontRegistry defaultThemeFontRegistry;

	private IThemeRegistry themeRegistry;

	private Map themes = new HashMap(7);

	/*
	* Initialize the WorkbenchThemeManager.
	* Determine the default theme according to the following rules:
	* 1) If we're in HC mode then default to system default
	* 2) Otherwise, if preference already set (e.g. via plugin_customization.ini), then observe that value
	* 3) Otherwise, use our default
	* Call dispose when we close.
	*/
	private WorkbenchThemeManager() {
	defaultThemeColorRegistry = new ColorRegistry(PlatformUI.getWorkbench()
	.getDisplay());

	defaultThemeFontRegistry = new FontRegistry(PlatformUI.getWorkbench()
	.getDisplay());

	// copy the font values from preferences.
	FontRegistry jfaceFonts = JFaceResources.getFontRegistry();
	for (Iterator i = jfaceFonts.getKeySet().iterator(); i.hasNext();) {
	String key = (String) i.next();
	defaultThemeFontRegistry.put(key, jfaceFonts.getFontData(key));
	}

	//Theme might be set via plugin_configuration.ini
	String themeId = PrefUtil.getAPIPreferenceStore().getDefaultString(IWorkbenchPreferenceConstants.CURRENT_THEME_ID);

	//If not set, use default
	if(themeId.length() == 0)
	themeId = IThemeManager.DEFAULT_THEME;

	// Check if we are in high contrast mode. If so then set the theme to
	// the system default
	if (PlatformUI.getWorkbench().getDisplay() != null) {
	// Determine the high contrast setting before
	// any access to preferences
	final boolean[] highContrast = new boolean[] { false };
	PlatformUI.getWorkbench().getDisplay().syncExec(new Runnable() {

	/*
	* (non-Javadoc)
	*
	* @see java.lang.Runnable#run()
	*/
	public void run() {
	highContrast[0] = Display.getCurrent().getHighContrast();

	Display.getCurrent().addListener(SWT.Settings, new Listener() {
	public void handleEvent(Event event) {
	updateThemes();
	}
	});
	}
	});

	//If in HC, always use the system default.
	//This ignores any default theme set via plugin_customization.ini
	if (highContrast[0])
	themeId = SYSTEM_DEFAULT_THEME;
	}

	PrefUtil.getAPIPreferenceStore().setDefault(
	IWorkbenchPreferenceConstants.CURRENT_THEME_ID, themeId);
	}

	/*
	* Update existing theme contents, descriptors, and registries.
	* Reread the themes and recompute the registries.
	*/
	private void updateThemes() {
	//reread the themes since their descriptors have changed in value
	ThemeRegistryReader reader = new ThemeRegistryReader();
	reader.readThemes(Platform.getExtensionRegistry(),(ThemeRegistry) getThemeRegistry());

	//DEFAULT_THEME is not in getThemes() list so must be handled special
	ThemeElementHelper.populateRegistry(getTheme(IThemeManager.DEFAULT_THEME), getThemeRegistry().getColors(), PrefUtil.getInternalPreferenceStore());

	IThemeDescriptor[] themeDescriptors = getThemeRegistry().getThemes();

	for (int i=0; i < themeDescriptors.length; i++) {
	IThemeDescriptor themeDescriptor = themeDescriptors[i];
	ITheme theme = (ITheme) themes.get(themeDescriptor);
	//If theme is in our themes table then its already been populated
	if (theme != null) {
	ColorDefinition[] colorDefinitions = themeDescriptor.getColors();

	if (colorDefinitions.length > 0) {
	ThemeElementHelper.populateRegistry(theme, colorDefinitions,PrefUtil.getInternalPreferenceStore());
	}
	}
	}
	}
	/*
	* (non-Javadoc)
	*
	* @see org.eclipse.ui.themes.IThemeManager#addPropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener)
	*/
	public void addPropertyChangeListener(IPropertyChangeListener listener) {
	addListenerObject(listener);
	}

	/**
	* Disposes all ThemeEntries.
	*/
	public void dispose() {
	for (Iterator i = themes.values().iterator(); i.hasNext();) {
	ITheme theme = (ITheme) i.next();
	theme.removePropertyChangeListener(currentThemeListener);
	theme.dispose();
	}
	themes.clear();
	}

	private boolean doSetCurrentTheme(String id) {
	ITheme oldTheme = currentTheme;
	ITheme newTheme = getTheme(id);
	if (oldTheme != newTheme && newTheme != null) {
	currentTheme = newTheme;
	return true;
	}

	return false;
	}

	protected void firePropertyChange(PropertyChangeEvent event) {
	Object[] listeners = getListeners();

	for (int i = 0; i < listeners.length; i++) {
	((IPropertyChangeListener) listeners[i]).propertyChange(event);
	}
	}

	protected void firePropertyChange(String changeId, ITheme oldTheme,
	ITheme newTheme) {

	PropertyChangeEvent event = new PropertyChangeEvent(this, changeId,
	oldTheme, newTheme);
	firePropertyChange(event);
	}

	/*
	* (non-Javadoc)
	*
	* @see org.eclipse.ui.themes.IThemeManager#getCurrentTheme()
	*/
	public ITheme getCurrentTheme() {
	if (currentTheme == null) {
	String themeId = PrefUtil.getAPIPreferenceStore().getString(
	IWorkbenchPreferenceConstants.CURRENT_THEME_ID);

	if (themeId == null) // missing preference
	setCurrentTheme(IThemeManager.DEFAULT_THEME);
	else {
	setCurrentTheme(themeId);
	if (currentTheme == null) { // still null - the preference
	// didn't resolve to a proper theme
	setCurrentTheme(IThemeManager.DEFAULT_THEME);
	StatusManager
	.getManager()
	.handle(
	StatusUtil
	.newStatus(
	PlatformUI.PLUGIN_ID,
	"Could not restore current theme: " + themeId, null)); //$NON-NLS-1$
	}
	}
	}
	return currentTheme;
	}

	/**
	* Return the default color registry.
	*
	* @return the default color registry
	*/
	public ColorRegistry getDefaultThemeColorRegistry() {
	return defaultThemeColorRegistry;
	}

	/**
	* Return the default font registry.
	*
	* @return the default font registry
	*/
	public FontRegistry getDefaultThemeFontRegistry() {
	return defaultThemeFontRegistry;
	}

	private ITheme getTheme(IThemeDescriptor td) {
	ITheme theme = (ITheme) themes.get(td);
	if (theme == null) {
	theme = new Theme(td);
	themes.put(td, theme);
	}
	return theme;
	}

	/*
	* (non-Javadoc)
	*
	* @see org.eclipse.ui.themes.IThemeManager#getTheme(java.lang.String)
	*/
	public ITheme getTheme(String id) {
	if (id.equals(IThemeManager.DEFAULT_THEME)) {
	return getTheme((IThemeDescriptor) null);
	}

	IThemeDescriptor td = getThemeRegistry().findTheme(id);
	if (td == null) {
	return null;
	}
	return getTheme(td);
	}

	/**
	* Answer the IThemeRegistry for the Workbench
	*/
	private IThemeRegistry getThemeRegistry() {
	if (themeRegistry == null) {
	themeRegistry = WorkbenchPlugin.getDefault().getThemeRegistry();
	}
	return themeRegistry;
	}

	/*
	* (non-Javadoc)
	*
	* @see org.eclipse.ui.themes.IThemeManager#removePropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener)
	*/
	public void removePropertyChangeListener(IPropertyChangeListener listener) {
	removeListenerObject(listener);
	}

	/*
	* (non-Javadoc)
	*
	* @see org.eclipse.ui.themes.IThemeManager#setCurrentTheme(java.lang.String)
	*/
	public void setCurrentTheme(String id) {
	ITheme oldTheme = currentTheme;
	if (WorkbenchThemeManager.getInstance().doSetCurrentTheme(id)) {
	firePropertyChange(CHANGE_CURRENT_THEME, oldTheme,
	getCurrentTheme());
	if (oldTheme != null) {
	oldTheme.removePropertyChangeListener(currentThemeListener);
	}
	currentTheme.addPropertyChangeListener(currentThemeListener);

	// update the preference if required.
	if (!PrefUtil.getAPIPreferenceStore().getString(
	IWorkbenchPreferenceConstants.CURRENT_THEME_ID).equals(id)) {
	PrefUtil.getAPIPreferenceStore().setValue(
	IWorkbenchPreferenceConstants.CURRENT_THEME_ID, id);
	PrefUtil.saveAPIPrefs();
	}

	// update the jface registries
	{
	ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
	ColorRegistry themeColors = currentTheme.getColorRegistry();
	for (Iterator i = themeColors.getKeySet().iterator(); i
	.hasNext();) {
	String key = (String) i.next();
	jfaceColors.put(key, themeColors.getRGB(key));
	}
	}
	{
	FontRegistry jfaceFonts = JFaceResources.getFontRegistry();
	FontRegistry themeFonts = currentTheme.getFontRegistry();
	for (Iterator i = themeFonts.getKeySet().iterator(); i
	.hasNext();) {
	String key = (String) i.next();
	jfaceFonts.put(key, themeFonts.getFontData(key));
	}
	}
	}
	}
	}