dirty = false; fireBufferEvent(new BufferEvent(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();				tokenizeLines();		// The anchor gets f*cked across reloads, so clear it		anchor = null;		init = false;	}