| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2527 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2605 paintMaxX = (int)(x + w); in paint()
2608 while (paintX < paintMaxX) { in paint()
2632 paintMaxX = paintX + 1; in updatePaintCoordinates()
2646 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2648 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2651 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2535 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2613 paintMaxX = (int)(x + w); in paint()
2616 while (paintX < paintMaxX) { in paint()
2640 paintMaxX = paintX + 1; in updatePaintCoordinates()
2654 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2656 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2659 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2527 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2605 paintMaxX = (int)(x + w); in paint()
2608 while (paintX < paintMaxX) { in paint()
2632 paintMaxX = paintX + 1; in updatePaintCoordinates()
2646 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2648 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2651 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2461 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2538 paintMaxX = (int)(x + w); in paint()
2541 while (paintX < paintMaxX) { in paint()
2565 paintMaxX = paintX + 1; in updatePaintCoordinates()
2579 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2581 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2584 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2535 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2613 paintMaxX = (int)(x + w); in paint()
2616 while (paintX < paintMaxX) { in paint()
2640 paintMaxX = paintX + 1; in updatePaintCoordinates()
2654 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2656 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2659 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2548 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2626 paintMaxX = (int)(x + w); in paint()
2629 while (paintX < paintMaxX) { in paint()
2653 paintMaxX = paintX + 1; in updatePaintCoordinates()
2667 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2669 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2672 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2535 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2613 paintMaxX = (int)(x + w); in paint()
2616 while (paintX < paintMaxX) { in paint()
2640 paintMaxX = paintX + 1; in updatePaintCoordinates()
2654 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2656 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2659 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2535 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2613 paintMaxX = (int)(x + w); in paint()
2616 while (paintX < paintMaxX) { in paint()
2640 paintMaxX = paintX + 1; in updatePaintCoordinates()
2654 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2656 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2659 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2535 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2613 paintMaxX = (int)(x + w); in paint()
2616 while (paintX < paintMaxX) { in paint()
2640 paintMaxX = paintX + 1; in updatePaintCoordinates()
2654 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2656 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2659 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
| H A D | StyleSheet.java | 2461 private int paintMaxX; field in StyleSheet.BackgroundImagePainter
2538 paintMaxX = (int)(x + w); in paint()
2541 while (paintX < paintMaxX) { in paint()
2565 paintMaxX = paintX + 1; in updatePaintCoordinates()
2579 if ((clip.x + clip.width) < paintMaxX) { in updatePaintCoordinates()
2581 paintMaxX = clip.x + clip.width; in updatePaintCoordinates()
2584 paintMaxX = ((clip.x + clip.width - paintX) / in updatePaintCoordinates()
|