On Wed, 21 Jun 2023 15:58:16 GMT, Alexey Ivanov <[email protected]> wrote:
> I wonder if the values stored in the UI Manager should have this trick > applied rather tweaking the values on the fly. If a programmer gets the > values from `UIManager` directly, they will get the incorrect value. OK. UIManager is also updated with updated width so values will be identical ------------- PR Comment: https://git.openjdk.org/jdk/pull/14555#issuecomment-1601968785
