public boolean markFinished(Font boldFont, Display display) { checkHashMaps(); BoldFontDescriptor desc = descriptors.get(boldFont); if (desc != null) { LocalResourceManager resourceManager = manager.getResourceManager(display); resourceManager.destroyFont(desc); if (resourceManager.find(desc) == null) { descriptors.remove(boldFont); validateHashMaps(); } return true; } // if the image was not found, dispose of it for the caller boldFont.dispose(); return false; }
public boolean markFinished(Font boldFont, Display display) { checkHashMaps(); BoldFontDescriptor desc = descriptors.get(boldFont); if (desc != null) { LocalResourceManager resourceManager = manager.getResourceManager(display); resourceManager.destroyFont(desc); if (resourceManager.find(desc) == null) { descriptors.remove(boldFont); validateHashMaps(); } return true; } // if the image was not found, dispose of it for the caller boldFont.dispose(); return false; }