Bug 268816 [WorkbenchLauncher] 'Workspaces' preference page does not inherit dialog font
bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/dialogs/RecentWorkspacesPreferencePage.java
workspacesList = new List(recentWorkspacesGroup, SWT.BORDER | SWT.MULTI);
		final GridData gd_workspacesList = new GridData(SWT.FILL, SWT.FILL, true, true);
		workspacesList.setLayoutData(gd_workspacesList);
		
		removeButton = new Button(recentWorkspacesGroup, SWT.NONE);
		final GridData gd_removeButton = new GridData(SWT.CENTER, SWT.TOP, false, false);
		removeButton.setLayoutData(gd_removeButton);
		removeButton.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_RemoveButton_label);
		removeButton.setEnabled(false);
		removeButton.addSelectionListener(new SelectionAdapter(){
				public void widgetSelected(SelectionEvent event) {
					removeSelectedWorkspaces();
				}
			});
		workspacesList.addSelectionListener(new SelectionAdapter() {
				public void widgetSelected(SelectionEvent event) {
					removeButton.setEnabled(workspacesList.getSelectionCount() > 0);
				}
			});
		String[] recentWorkspaces = workspacesData.getRecentWorkspaces();
		for (int i = 0; i < recentWorkspaces.length; i++) {
			String aWorkspace = recentWorkspaces[i];
			if (aWorkspace != null) {
				workspacesList.add(aWorkspace);
			}
		}
	}
	protected void removeSelectedWorkspaces() {