else if(msg instanceof RegistersChanged) markerHighlight.updateHighlight();
	public void handleMessage(EBMessage msg)	{		if(msg instanceof PropertiesChanged)			propertiesChanged();		else if(msg instanceof BufferUpdate)			handleBufferUpdate((BufferUpdate)msg);	}