/** Remember the current width of the (possibly resized) toggle dialog area */ public void rememberToggleDialogWidth() { if (dialogsPanel.isVisible()) { Main.pref.putInteger( "toggleDialogs.width", splitPane.getWidth() - splitPane.getDividerLocation()); } }