On Wed, 21 Jun 2023 15:47:18 GMT, Alexey Ivanov <[email protected]> wrote:
> Does Windows classic theme has its own set UIManager settings? However, it may still not help: the Windows desktop properties would return the size for the current theme in Windows, which is never a classic theme in Windows 10 and later. Therefore the size would be different. 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. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14555#issuecomment-1601106370
