/**
* Copyright (c) 2005-2011 by Appcelerator, Inc. All Rights Reserved.
* Licensed under the terms of the Eclipse Public License (EPL).
* Please see the license.txt included with this distribution for details.
* Any modifications to this file must keep this entire header intact.
*/
package org.python.pydev.tree;
import java.net.MalformedURLException;
import java.net.URL;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.jface.resource.ImageRegistry;
import org.eclipse.swt.dnd.Clipboard;
import org.eclipse.swt.widgets.Display;
public class Util {
private static ImageRegistry image_registry;
private static Clipboard clipboard;
public static URL newURL(String url_name) {
try {
return new URL(url_name);
} catch (MalformedURLException e) {
throw new RuntimeException("Malformed URL " + url_name, e);
}
}
public static ImageRegistry getImageRegistry() {
if (image_registry == null) {
image_registry = new ImageRegistry();
image_registry.put("folder", ImageDescriptor.createFromURL(newURL("file:icons/folder.gif")));
image_registry.put("file", ImageDescriptor.createFromURL(newURL("file:icons/file.gif")));
}
return image_registry;
}
public static Clipboard getClipboard() {
if (clipboard == null) {
clipboard = new Clipboard(Display.getCurrent());
}
return clipboard;
}
}