Thanks Jason! I wonder how much this affects performance. I guess the texture is never downloaded off the video card so it shouldn't be too big a hit...
Maybe this is something that should be added to the video player behind the scenes when ofDisableArbTex() is called.
