fireEditorEvent(new EditorEvent(EditorEvent.PROPERTIES_CHANGED, null,null));
fireEditorEvent(EditorEvent.PROPERTIES_CHANGED,null,null);
	public static void propertiesChanged()	{		if(autosave != null)			autosave.interrupt();		autosave = new Autosave();		try		{			maxRecent = Integer.parseInt(getProperty(				"recent"));		}		catch(NumberFormatException nf)		{			maxRecent = 8;		}		fireEditorEvent(new EditorEvent(EditorEvent.PROPERTIES_CHANGED,			null,null));	}