public void setTexture(warp_Texture t)
 {
     texture = t;
     if (texture != null)
     {
         texture.resize();
     }
 }
 public void setEnvmap(warp_Texture env)
 {
     envmap = env;
     env.resize(256, 256);
 }