Bug 30170 [Preferences] editors preferences not stored on OK?
20030121 my eclipse hard-crashed and it seems that the 'number of open editors' preference was lost preference pages should store their values on OK. i guess the 'Editors' page forgot to do it.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceDialog.java
children[i].setSize(rect.width, rect.height);
			}
		}
		public Point computeSize(
			Composite composite,
			int wHint,
			int hHint,
			boolean force) {
			if (wHint != SWT.DEFAULT && hHint != SWT.DEFAULT)
				return new Point(wHint, hHint);
			int x = minimumPageSize.x;
			int y = minimumPageSize.y;
			Control[] children = composite.getChildren();
			for (int i = 0; i < children.length; i++) {
				Point size =
					children[i].computeSize(SWT.DEFAULT, SWT.DEFAULT, force);
				x = Math.max(x, size.x);
				y = Math.max(y, size.y);
			}
			if (wHint != SWT.DEFAULT)
				x = wHint;
			if (hHint != SWT.DEFAULT)
				y = hHint;
			return new Point(x, y);
		}
	}
	/**
	 * Creates a new preference dialog under the control of the given preference 
	 * manager.
	 *