{ updateTitle();
	private void handleBufferUpdate(BufferUpdate msg)	{		Buffer buffer = msg.getBuffer();		if(msg.getWhat() == BufferUpdate.CREATED)		{			updateBuffersMenu();		}		else if(msg.getWhat() == BufferUpdate.CLOSED)		{			updateRecentMenu();			updateBuffersMenu();		}		else if(msg.getWhat() == BufferUpdate.DIRTY_CHANGED			|| msg.getWhat() == BufferUpdate.LOADED)		{			if(isOpen(buffer))			{				updateTitle();				status.updateBufferStatus();			}			updateBuffersMenu();		}		else if(msg.getWhat() == BufferUpdate.MARKERS_CHANGED)		{			if(isOpen(buffer))				updateMarkerMenus();		}	}