On Thu, 15 Jun 2023 22:45:44 GMT, Phil Race <[email protected]> wrote:
> This change will have broad impact everywhere the Border is used. And it > seems to me to be a workaround for the problem that Metal isn't correctly > calculating the length of the text at the scaled resolution. It is possible that the width of the sting isn't calculated correctly, which could explain “cut off” label. At the same time, the text flushed to the very edge doesn't look either. When there's a margin, text looks better and is easier to read. Perhaps, we should address both issues. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14464#issuecomment-1599424117
