/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/options/IconTheme.java

 1package org.gjt.sp.jedit.options;
 2
 3import org.gjt.sp.jedit.GUIUtilities;
 4import org.gjt.sp.jedit.jEdit;
 5
 6public class IconTheme extends Object
 7{
 8	static final String[] builtIn  = new String[] { "tango", "classic" };
 9	
10	public static String[] builtInNames()
11	{
12		return builtIn;
13	}
14
15	public static String get() 
16	{
17		return jEdit.getProperty("icon-theme", "tango");
18	}
19	
20	public static void set(String name)
21	{
22		GUIUtilities.setIconPath("jeditresource:/org/gjt/sp/jedit/icons/themes/" + name + "/");
23		jEdit.setProperty("icon-theme", name);
24	}
25	
26}