buffer.checkModTime(this);
	public void setBuffer(Buffer buffer)	{		if(this.buffer == buffer)			return;		// Ensure new buffer is valid		buffer.loadIfNecessary(this);		recentBuffer = this.buffer;		if(recentBuffer != null)			saveCaretInfo();		this.buffer = buffer;		unsplit();		textArea.setDocument(buffer);		((StatusBar)textArea.getStatus()).repaint();		loadCaretInfo();		updateMarkerMenus();		updateTitle();		// Don't fire event for the initial buffer set		if(recentBuffer != null)			EditBus.send(new ViewUpdate(this,ViewUpdate.BUFFER_CHANGED));		if(bufferTabs != null)			bufferTabs.selectBufferTab(buffer);		updateBuffersMenu();		focusOnTextArea();	}