Lines Matching refs:border
33 import javax.swing.border.Border;
84 final Border border = b.getBorder();
85 if (!(border instanceof AquaBorder)) return;
97 // Set the correct border
102 Border border = b.getBorder();
103 if (!ui.isBorderFromProperty(b) && (border == null || border instanceof UIResource || border instanceof AquaButtonBorder)) {
109 border = AquaButtonBorder.getToolBarButtonBorder();
111 border = AquaButtonBorder.getBevelButtonBorder();
118 border = AquaButtonBorder.getToggleButtonBorder();
120 border = UIManager.getBorder(getPropertyPrefix() + "border");
124 b.setBorder(border);
142 // A state that affects border has changed. Make sure we have the right one
269 final Border border = c.getBorder();
271 if (border instanceof AquaButtonBorder) {
274 aquaBorder = (AquaButtonBorder)border;
341 // if the text didn't fit - check if the aqua border has alternate Insets that are more adhering
348 // there is no Aqua border, go with what we've got
446 final Border border = b.getBorder();
447 if (border instanceof AquaButtonBorder) {
448 ((AquaButtonBorder)border).alterPreferredSize(d);
471 // JToggleButtons always have the same border
492 // a toolbar. If that is the case, we need to re-set the border of the button.
503 if (!(b.getBorder() instanceof UIResource)) return; // if the border is not one of ours, or null
533 // Repaint the button, since its border needs to handle the new state.
545 // Forced border types
548 final Border border = AquaButtonExtendedTypes.getBorderForPosition(b, value, b.getClientProperty(SEGMENTED_BUTTON_POSITION));
549 if (border != null) {
550 b.setBorder(border);
557 final Border border = b.getBorder();
558 if (!(border instanceof AquaBorder)) return;
564 final Border border = b.getBorder();
565 if (!(border instanceof AquaBorder)) return;