On Tue, 9 Mar 2021 21:17:13 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
>> src/java.desktop/share/classes/javax/swing/plaf/basic/BasicTextUI.java line >> 306: >> >>> 304: * Initializes component properties, such as font, foreground, >>> 305: * background, caret color, selection color, selected text color, >>> 306: * disabled text color, and border color. All properties are set >> >> This method is also affects a margin, but it is does not mentioned in the >> javadoc. > > Does the list of properties listed in the javadoc have to be comprehensive? > However, `margin` seems to be the only property omitted from the list. I have added margin too, ------------- PR: https://git.openjdk.java.net/jdk/pull/2888
