void GrSetWindowBorderSize ( GR_WINDOW_ID wid , GR_SIZE width );
void GrSetWindowBorderSize
This macro sets the specified window's border width to width.
GrSetWMProperties(), GrGetWMProperties().