Searched refs:newHeightPx (Results 1 – 1 of 1) sorted by relevance
416 int newHeightPx = Window.getClientHeight() - (columnHeaders.getAbsoluteTop() + in fillWindow() local418 newHeightPx = adjustMaxDimension(newHeightPx); in fillWindow()423 newHeightPx = Math.min(newHeightPx, rowHeaders.getOffsetHeight()); in fillWindow()428 rowHeadersClipPanel.setHeight(getSizePxString(newHeightPx)); in fillWindow()431 getSizePxString(newHeightPx + SCROLLBAR_FUDGE)); in fillWindow()