/** Repaints the whole UI when a skin pack has changed. */
@Override
protected void onSkinPackChanged() {
UIService serv = getUIService();
if (serv != null) {
serv.repaintUI();
}
}
/** Initializes already registered default resource packs. */
ResourceManagementServiceImpl() {
super(ResourceManagementActivator.bundleContext);
UIService serv = getUIService();
if (serv != null) {
serv.repaintUI();
}
}
/**
* Gets a reference to the <tt>UIService</tt> when this one is registered.
*
* @param event the <tt>ServiceEvent</tt> that has notified us
*/
@Override
public void serviceChanged(ServiceEvent event) {
super.serviceChanged(event);
Object sService =
ResourceManagementActivator.bundleContext.getService(event.getServiceReference());
if (sService instanceof UIService
&& uiService == null
&& event.getType() == ServiceEvent.REGISTERED) {
uiService = (UIService) sService;
uiService.repaintUI();
} else if (sService instanceof UIService && event.getType() == ServiceEvent.UNREGISTERING) {
if (uiService != null && uiService.equals(sService)) {
uiService = null;
}
}
}
