On Thu, 22 Jun 2023 03:39:00 GMT, Prasanta Sadhukhan <[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 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
