RFR: 8318590: JButton ignores margin when painting HTML text [v5]

[Goetz Lindenmaier]

On Tue, 5 Dec 2023 19:07:07 GMT, Damon Nguyen <dnguyen at openjdk.org> wrote:

>> Damon Nguyen has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Re-add test because still valid
>
> I also have updated the copyright year for BasicButtonUI. I believe that's the only case of copyright years that needs to be updated.

Hi @DamonGuy, in the end, the test was deleted, although you added a commit re-adding it. Was this intended or a prank by GitHub?

-------------

PR Comment: https://git.openjdk.org/jdk/pull/16869#issuecomment-1892436068