/** 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; } } }