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
}
	/* (non-Javadoc)
	 * Method declared on Window.
	 */
	protected void configureShell(Shell newShell) {
		super.configureShell(newShell);
		newShell.setText(JFaceResources.getString("PreferenceDialog.title")); 
		
		newShell.addHelpListener(new HelpListener() {
			public void helpRequested(HelpEvent event) {
				
				if (currentPage != null) {
					currentPage.performHelp();
				}
			}
		});
		newShell.addShellListener(new ShellAdapter() {
			public void shellActivated(ShellEvent e) {
				if (lastShellSize == null)
					lastShellSize = getShell().getSize();
			}
		});
	}
	/*(non-Javadoc)
	 * Method declared on Window.
	 */
	protected void constrainShellSize() {
		super.constrainShellSize();
		
		if (lastShellSize == null)