/** * Returns the global resource manager for the given display * * @since 3.1 * * @param toQuery * display to query * @return the global resource manager for the given display */ public static ResourceManager getResources(final Display toQuery) { ResourceManager reg = registries.get(toQuery); if (reg == null) { final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, mgr); toQuery.disposeExec(() -> { mgr.dispose(); registries.remove(toQuery); }); } return reg; }
/** * Returns the global resource manager for the given display * * @since 3.1 * * @param toQuery * display to query * @return the global resource manager for the given display */ public static ResourceManager getResources(final Display toQuery) { ResourceManager reg = registries.get(toQuery); if (reg == null) { final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, mgr); toQuery.disposeExec(() -> { mgr.dispose(); registries.remove(toQuery); }); } return reg; }
final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, reg);