RFR: 8140527: JInternalFrame has incorrect title button width [v2]

[Alexey Ivanov]

On Thu, 22 Jun 2023 03:39:00 GMT, Prasanta Sadhukhan <psadhukhan at openjdk.org> 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

Can it be modified so that the value for `"InternalFrame.titleButtonWidth"` gets computed based on `"InternalFrame.titleButtonHeight"` using the algorithm in `WindowsIconFactory.java` and `WindowsInternalFrameTitlePane.java` when its value is requested?

This way UIManager automatically returns the value we want; the adjustment logic can be dropped from both classes above.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/14555#issuecomment-1603282478