RFR: 8140527: JInternalFrame has incorrect title button width

[Alexey Ivanov]

On Wed, 21 Jun 2023 15:47:18 GMT, Alexey Ivanov <aivanov at openjdk.org> 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