On Sun, 1 Nov 2020 23:58:04 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:
> Probably it is better to limit the size of the font? Ok, I have reduced the font size. Now the text size if such that it is bigger than other texts, but text would fit within the tab height and text is not truncated. ------------- PR: https://git.openjdk.java.net/jdk/pull/984
