(not necessary anymore and it happens to when with a later coming change of ImTextureID, so best removed earlier).