()
| 321 | /// When a Component is generated it construct a default Style Object. |
| 322 | /// The Default values for each Component can be changed by using the UIManager class |
| 323 | public Style() { |
| 324 | setPadding(3, 3, 3, 3); |
| 325 | setMargin(2, 2, 2, 2); |
| 326 | modifiedFlag = 0; |
| 327 | } |
| 328 | |
| 329 | /// Creates a full copy of the given style. Notice that if the original style was modified |
| 330 | /// manually (by invoking setters on it) it would not chnage when changing a theme/look and feel, |
nothing calls this directly
no test coverage detected