setFlag(INIT,true);
	public void reload(View view)	{		// Show the wait cursor		if(view != null)			view.showWaitCursor();		// Delete the autosave		autosaveFile.delete();		// This is so that `dirty' isn't set		setFlag(INIT,true);		// remove all lines from token marker		if(tokenMarker != null)			tokenMarker.deleteLines(0,getDefaultRootElement()				.getElementCount());		load(view);		loadMarkers();		// reload syntax flag		propertiesChanged();		setMode();		// add lines to token marker		if(tokenMarker != null)		{			tokenMarker.insertLines(0,getDefaultRootElement()				.getElementCount());			tokenizeLines();		}		setFlag(INIT,false);		// Clear dirty flag		setDirty(false);		// Hide the wait cursor		if(view != null)			view.hideWaitCursor();	}