On Thu, 6 Oct 2022 14:13:25 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
>> Yes, that is correct. > > Will you update it to use `BORDER_THICKNESS`? @aivanov-jdk I was waiting on testing results to make the final update along with the above change. ------------- PR: https://git.openjdk.org/jdk/pull/10274
