code: public void setSize(int pixelWidth, int pixelHeight, boolean fullscreen) {
      setDisplayMode(pixelWidth, pixelHeight, fullscreen);
      ctx.setSize(pixelWidth, pixelHeight);
    }
docs: Changes the size of the PlayN window.