jEdit.fireEditorEvent(new EditorEvent(EditorEvent .BUFFER_DIRTY_CHANGED,null,this));
fireBufferEvent(new BufferEvent(BufferEvent .DIRTY_CHANGED,this));
	public void dirty()	{		if(!((dirty && adirty) || readOnly))		{			adirty = dirty = !init;			jEdit.fireEditorEvent(new EditorEvent(EditorEvent				.BUFFER_DIRTY_CHANGED,null,this));		}	}