use of org.python.pydev.shared_ui.ColorCache in project Pydev by fabioz.
the class PydevPlugin method getColorCache.
// End Images for the console
/**
* @return
*/
public static ColorCache getColorCache() {
PydevPlugin plugin = getDefault();
if (plugin.colorCache == null) {
final IPreferenceStore chainedPrefStore = PyDevUiPrefs.getChainedPrefStore();
plugin.colorCache = new ColorCache(chainedPrefStore) {
{
chainedPrefStore.addPropertyChangeListener(new IPropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent event) {
if (fNamedColorTable.containsKey(event.getProperty())) {
reloadProperty(event.getProperty());
}
}
});
}
};
}
return plugin.colorCache;
}
Aggregations