On Sun, 7 Mar 2021 19:49:12 GMT, Ioi Lam <ik...@openjdk.org> wrote: > Maybe this can be changed to `GraphicsUtilities.getMonospacedFont()` so > there's no need to export FONT_SIZE?
Yeah, it is the point what I thought too, but I didn't do so because it is one liner. However I re-think about it from your comment, so I pushed new commit to add `GraphicsUtilities.getMonospacedFont()`. ------------- PR: https://git.openjdk.java.net/jdk/pull/2862
