prefs.putInt(JDialogFind.FRAME_HEIGHT, h);
prefs.putInt(JDialogFind.FRAME_WIDTH, w);
}
private void restoreUserSettings() {
OwnPreferences prefs =
OwnPreferences.userNodeForPackage(this.getClass());
int minWidth = 470;
int minHeight = 140;
int x = prefs.getInt(JDialogFind.FRAME_X, 10);
int y = prefs.getInt(JDialogFind.FRAME_Y, 10);
int h = prefs.getInt(JDialogFind.FRAME_HEIGHT, minHeight);
int w = prefs.getInt(JDialogFind.FRAME_WIDTH, minWidth);
this.setSize(new Dimension(w, h));
if (w == 470 && h == 140) {
this.setLocationRelativeTo(null); //center it