| 3046 | /// - `override`: @param override If set to true allows the look and feel/theme to override |
| 3047 | /// the value in this attribute when changing a theme/look and feel |
| 3048 | public void setBorder(Border border, boolean override) { |
| 3049 | if (proxyTo != null) { |
| 3050 | for (Style s : proxyTo) { |
| 3051 | s.setBorder(border, override); |
| 3052 | } |
| 3053 | return; |
| 3054 | } |
| 3055 | if ((this.border == null && border != null) || |
| 3056 | (this.border != null && !this.border.equals(border))) { |
| 3057 | this.border = border; |
| 3058 | if (!override) { |
| 3059 | modifiedFlag |= BORDER_MODIFIED; |
| 3060 | } |
| 3061 | firePropertyChanged(BORDER); |
| 3062 | } |
| 3063 | } |
| 3064 | |
| 3065 | /// Returns the border for the style |
| 3066 | /// |