code: public void setWindowPaddingTopRightBottomLeft(final int top, final int right,
              final int bottom, final int left) {
          JsArrayNumber array = JavaScriptObject.createArray(4).cast();
          array.push(top);
          array.push(right);
          array.push(bottom);
          array.push(left);
          attrMixin.setAttribute(WINDOW_PADDING, JsonUtils.stringify(array));
      }
docs: Sets the window padding to top, right, bottom, and right sides. This
  is useful in cases where the window has areas that the drop-down menu
  should not cover - for instance a fixed header.
  
  @param top
  @param right
  @param bottom
  @param left