On Fri, 4 Mar 2022 08:14:39 GMT, Ioi Lam <ik...@openjdk.org> wrote: > Numbers should be aligned to the right. The following is what I want: > > ``` > 62 > 123 > 4567 > ```
Done. ------------- PR: https://git.openjdk.java.net/jdk/pull/7105
On Fri, 4 Mar 2022 08:14:39 GMT, Ioi Lam <ik...@openjdk.org> wrote: > Numbers should be aligned to the right. The following is what I want: > > ``` > 62 > 123 > 4567 > ```
Done. ------------- PR: https://git.openjdk.java.net/jdk/pull/7105