Searched refs:PAGE_DFACTOR (Results 1 – 1 of 1) sorted by relevance
607 private static final double PAGE_DFACTOR = 0.8; field in WinScrollbar614 return new Color(Math.max((int)(c.getRed() *PAGE_DFACTOR), 0), in pageDarker()615 Math.max((int)(c.getGreen()*PAGE_DFACTOR), 0), in pageDarker()616 Math.max((int)(c.getBlue() *PAGE_DFACTOR), 0)); in pageDarker()