final void setDimensions(int i, int i_259_, int i_260_, int i_261_) {
	if (i_259_ < 0)
	    i_259_ = 0;
	anInt7717++;
	if ((((OpenGlToolkit) this).anInt7688 ^ 0xffffffff) > (i_260_ ^ 0xffffffff))
	    i_260_ = ((OpenGlToolkit) this).anInt7688;
	if ((i ^ 0xffffffff) > -1)
	    i = 0;
	if ((((OpenGlToolkit) this).anInt7641 ^ 0xffffffff) > (i_261_ ^ 0xffffffff))
	    i_261_ = ((OpenGlToolkit) this).anInt7641;
	anInt7855 = i_260_;
	anInt7787 = i_261_;
	anInt7773 = i_259_;
	anInt7868 = i;
	OpenGL.glEnable(3089);
	method3772((byte) 126);
	method3811((byte) 11);
    }