/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
H A D | GTKPainter.java | 341 int focusPad = style.getClassSpecificIntValue( in paintButtonBackgroundImpl() local 344 int totalFocusSize = focusSize + focusPad; in paintButtonBackgroundImpl() 385 x += xThickness + focusPad; in paintButtonBackgroundImpl() 386 y += yThickness + focusPad; in paintButtonBackgroundImpl() 387 w -= 2 * (xThickness + focusPad); in paintButtonBackgroundImpl() 388 h -= 2 * (yThickness + focusPad); in paintButtonBackgroundImpl()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
H A D | GTKPainter.java | 341 int focusPad = style.getClassSpecificIntValue( in paintButtonBackgroundImpl() local 344 int totalFocusSize = focusSize + focusPad; in paintButtonBackgroundImpl() 385 x += xThickness + focusPad; in paintButtonBackgroundImpl() 386 y += yThickness + focusPad; in paintButtonBackgroundImpl() 387 w -= 2 * (xThickness + focusPad); in paintButtonBackgroundImpl() 388 h -= 2 * (yThickness + focusPad); in paintButtonBackgroundImpl()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 422 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 425 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 426 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 459 int focusPad = in getRadioInsets() local 461 int totalFocus = focusSize + focusPad; in getRadioInsets() 523 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 525 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 595 int focusPad = in getScrollBarInsets() local 597 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 866 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 100 int focusPad = in paintText() local 103 int totalFocus = focusSize + focusPad; in paintText()
|
H A D | GTKPainter.java | 341 int focusPad = style.getClassSpecificIntValue( in paintButtonBackgroundImpl() local 344 int totalFocusSize = focusSize + focusPad; in paintButtonBackgroundImpl() 385 x += xThickness + focusPad; in paintButtonBackgroundImpl() 386 y += yThickness + focusPad; in paintButtonBackgroundImpl() 387 w -= 2 * (xThickness + focusPad); in paintButtonBackgroundImpl() 388 h -= 2 * (yThickness + focusPad); in paintButtonBackgroundImpl()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 418 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 421 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 422 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 455 int focusPad = in getRadioInsets() local 457 int totalFocus = focusSize + focusPad; in getRadioInsets() 519 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 521 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 591 int focusPad = in getScrollBarInsets() local 593 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 877 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
H A D | GTKPainter.java | 322 int focusPad = style.getClassSpecificIntValue( in paintButtonBackgroundImpl() local 325 int totalFocusSize = focusSize + focusPad; in paintButtonBackgroundImpl() 366 x += xThickness + focusPad; in paintButtonBackgroundImpl() 367 y += yThickness + focusPad; in paintButtonBackgroundImpl() 368 w -= 2 * (xThickness + focusPad); in paintButtonBackgroundImpl() 369 h -= 2 * (yThickness + focusPad); in paintButtonBackgroundImpl()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 425 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 428 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 429 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 462 int focusPad = in getRadioInsets() local 464 int totalFocus = focusSize + focusPad; in getRadioInsets() 526 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 528 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 598 int focusPad = in getScrollBarInsets() local 600 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 884 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 426 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 429 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 430 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 463 int focusPad = in getRadioInsets() local 465 int totalFocus = focusSize + focusPad; in getRadioInsets() 527 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 529 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 599 int focusPad = in getScrollBarInsets() local 601 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 885 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 102 int focusPad = in paintText() local 105 int totalFocus = focusSize + focusPad; in paintText()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKStyle.java | 422 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getButtonInsets() local 425 int w = focusSize + focusPad + xThickness + CHILD_SPACING; in getButtonInsets() 426 int h = focusSize + focusPad + yThickness + CHILD_SPACING; in getButtonInsets() 459 int focusPad = in getRadioInsets() local 461 int totalFocus = focusSize + focusPad; in getRadioInsets() 523 int focusPad = getClassSpecificIntValue(context, "focus-padding", 1); in getSliderTrackInsets() local 525 insets.left = insets.right = focusSize + focusPad; in getSliderTrackInsets() 595 int focusPad = in getScrollBarInsets() local 597 int totalFocus = focusSize + focusPad; in getScrollBarInsets() 866 int focusPad = in get() local [all …]
|
H A D | GTKGraphicsUtils.java | 100 int focusPad = in paintText() local 103 int totalFocus = focusSize + focusPad; in paintText()
|
H A D | GTKPainter.java | 341 int focusPad = style.getClassSpecificIntValue( in paintButtonBackgroundImpl() local 344 int totalFocusSize = focusSize + focusPad; in paintButtonBackgroundImpl() 385 x += xThickness + focusPad; in paintButtonBackgroundImpl() 386 y += yThickness + focusPad; in paintButtonBackgroundImpl() 387 w -= 2 * (xThickness + focusPad); in paintButtonBackgroundImpl() 388 h -= 2 * (yThickness + focusPad); in paintButtonBackgroundImpl()
|