Right hand panel view has reduced width after each hide-show sequence.

[SekeRob]

Read about the tab function not returning/re-showing the right hand panel view after a hide, which I did experience too with the previous/previous stable version (restarting JOSM would have the problem go away for a while) not needing the view menu to get the "dialogs panel" back.

Additionally, always have had this strange reduction of the panel bar width before that and never realized that if one repeats the tab hits the reappearance shows the panel with further reduced width and repeating this many times makes the panel gradually sliding off the screen. Most pronounced it's very well observable by undocking one of the panel and position that up against the dialogs panel bar. The gap grows and grows on each re-show tabbing.

[GerdP]

Seems this is caused by the changes for #18769 esp. the changes in r16132
I am reviewing this code block:

    public void rememberToggleDialogWidth() {
        if (dialogsPanel.isVisible()) {
            TOGGLE_DIALOGS_WIDTH.put(splitPane.getWidth() - splitPane.getDividerLocation() - splitPane.getDividerSize() - 1);
        }
    }

[GerdP]

In 19384/josm:

fix #23851

• move code to handle the width of the divider line

This seems to be the better solution as it also seems to work well after restart.