RangeSlider.java 文件源码

/**
 * Dispose safely any SWT resource
 * 
 * @param resource the resource to dispose
 */
private void safeDispose(final Resource resource) {
    if (resource != null && !resource.isDisposed()) {
        resource.dispose();
    }
}