UIDefaults defaults = UIManager.getDefaults();   if(jEdit.getBooleanProperty("globalColors")) { Color background = new javax.swing.plaf.ColorUIResource( GUIUtilities.parseColor( jEdit.getProperty("view.bgColor"))); Color foreground = new javax.swing.plaf.ColorUIResource( GUIUtilities.parseColor( jEdit.getProperty("view.fgColor"))); Color caretColor = new javax.swing.plaf.ColorUIResource( GUIUtilities.parseColor( jEdit.getProperty("view.caretColor"))); Color selectionColor = new javax.swing.plaf.ColorUIResource( GUIUtilities.parseColor( jEdit.getProperty("view.selectionColor")));  String[] prefixes = { "TextField", "TextArea", "List", "Table" }; for(int i = 0; i < prefixes.length; i++) { String prefix = prefixes[i]; defaults.put(prefix + ".background",background); defaults.put(prefix + ".foreground",foreground); defaults.put(prefix + ".caretForeground",caretColor); defaults.put(prefix + ".selectionForeground",foreground); defaults.put(prefix + ".selectionBackground",selectionColor);  }  defaults.put("Tree.background",background); defaults.put("Tree.foreground",foreground); defaults.put("Tree.textBackground",background); defaults.put("Tree.textForeground",foreground); defaults.put("Tree.selectionForeground",foreground); defaults.put("Tree.selectionBackground",selectionColor); }   String family = jEdit.getProperty("view.font"); int size; try { size = Integer.parseInt(jEdit.getProperty( "view.fontsize")); } catch(NumberFormatException nf) { size = 14; } int style; try { style = Integer.parseInt(jEdit.getProperty( "view.fontstyle")); } catch(NumberFormatException nf) { style = Font.PLAIN; } Font font = new Font(family,style,size);  defaults.put("TextField.font",font); defaults.put("TextArea.font",font); defaults.put("TextPane.font",font);
	public static void propertiesChanged()	{		initKeyBindings();		int interval;		try		{			interval = Integer.parseInt(getProperty("autosave"));		}		catch(NumberFormatException nf)		{			Log.log(Log.ERROR,jEdit.class,nf);			interval = 30;		}		Autosave.setInterval(interval);		saveCaret = getBooleanProperty("saveCaret");		EditBus.send(new PropertiesChanged(null));	}