code: public void setWorldClip(float x, float y, float width, float height) {
  		predraw();
  		worldClipRecord = new Rectangle(x, y, width, height);
  		
  		GL.glEnable(SGL.GL_CLIP_PLANE0);
  		worldClip.put(1).put(0).put(0).put(-x).flip();
  		GL.glClipPlane(SGL.GL_CLIP_PLANE0, worldClip);
  		GL.glEnable(SGL.GL_CLIP_PLANE1);
  		worldClip.put(-1).put(0).put(0).put(x + width).flip();
  		GL.glClipPlane(SGL.GL_CLIP_PLANE1, worldClip);
  
  		GL.glEnable(SGL.GL_CLIP_PLANE2);
  		worldClip.put(0).put(1).put(0).put(-y).flip();
  		GL.glClipPlane(SGL.GL_CLIP_PLANE2, worldClip);
  		GL.glEnable(SGL.GL_CLIP_PLANE3);
  		worldClip.put(0).put(-1).put(0).put(y + height).flip();
  		GL.glClipPlane(SGL.GL_CLIP_PLANE3, worldClip);
  		postdraw();
  	}
docs: Set clipping that controls which areas of the world will be drawn to.
  Note that world clip is different from standard screen clip in that it's
  defined in the space of the current world coordinate - i.e. it's affected
  by translate, rotate, scale etc.
  
  @param x
  The x coordinate of the top left corner of the allowed area
  @param y
  The y coordinate of the top left corner of the allowed area
  @param width
  The width of the allowed area
  @param height
  The height of the allowed area