fireBufferEvent(new BufferEvent(BufferEvent .DIRTY_CHANGED,this));
if(view != null) GUIUtilities.hideWaitCursor(view);  fireBufferEvent(BufferEvent.DIRTY_CHANGED,this);
	public void reload(View view)	{		// Delete the autosave		autosaveFile.delete();		// This is so that `dirty' isn't set		init = true;		load(view);		loadMarkers();		// Maybe incorrect? Anyway people won't notice		setMode();		tokenizeLines();		// The anchor gets f*cked across reloads, so clear it		anchor = null;				// Clear dirty flag		dirty = false;		fireBufferEvent(new BufferEvent(BufferEvent				.DIRTY_CHANGED,this));		init = false;	}