# HG changeset patch
# User dadubrow
# Date 1245072251 18000
# Node ID ecdc976d1827fef0a3b2952e3d5b2c53715ae64c
# Parent  1ef9693a4944aeda1a5f896c68d414493a3206d9
cosmetic change - add more margin to second group box

diff -r 1ef9693a4944 -r ecdc976d1827 project/com.nokia.carbide.cpp.project.ui/src/com/nokia/carbide/cpp/internal/project/ui/preferences/CarbidePreferencePage.java
--- a/project/com.nokia.carbide.cpp.project.ui/src/com/nokia/carbide/cpp/internal/project/ui/preferences/CarbidePreferencePage.java	Fri Jun 12 15:23:04 2009 -0500
+++ b/project/com.nokia.carbide.cpp.project.ui/src/com/nokia/carbide/cpp/internal/project/ui/preferences/CarbidePreferencePage.java	Mon Jun 15 08:24:11 2009 -0500
@@ -22,6 +22,7 @@
 import com.nokia.carbide.cpp.project.ui.utils.ProjectUIUtils;
 
 import org.eclipse.jface.layout.GridDataFactory;
+import org.eclipse.jface.layout.GridLayoutFactory;
 import org.eclipse.jface.preference.PreferencePage;
 import org.eclipse.swt.SWT;
 import org.eclipse.swt.events.SelectionAdapter;
@@ -128,7 +129,7 @@
 		updateProjectSyncEnabledState();
 
 		Group indexGroup = new Group(content, SWT.NONE);
-		indexGroup.setLayout(new GridLayout());
+		GridLayoutFactory.swtDefaults().margins(10, 10).applyTo(indexGroup);
 		indexGroup.setText(Messages.getString("CarbidePreferencePage.IndexingTitle")); //$NON-NLS-1$
 		GridDataFactory.fillDefaults().grab(true, false).applyTo(indexGroup);