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 ) ) ; }
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 .