Searched refs:SCROLLBAR_FUDGE (Results 1 – 1 of 1) sorted by relevance
39 private static final int SCROLLBAR_FUDGE = 16; field in Spreadsheet430 scrollPanel.setSize(getSizePxString(newWidthPx + SCROLLBAR_FUDGE), in fillWindow()431 getSizePxString(newHeightPx + SCROLLBAR_FUDGE)); in fillWindow()439 return Math.max(maxDimensionPx - WINDOW_BORDER_PX - SCROLLBAR_FUDGE, in adjustMaxDimension()