load();
load(view);
	public void reload()	{		// Delete the autosave		autosaveFile.delete();		// This is so that `dirty' isn't set		init = true;		load();		loadMarkers();				tokenizeLines();		// The anchor gets f*cked across reloads, so clear it		anchor = null;		init = false;	}