[cdt-patch] Indexer Enablement patch for Make UI

[Bogdan Gheorghe <gheorghe@xxxxxxxxxx>]

This patch contributes an indexer block
to the make project wizard. This allows the user to turn off indexing (it's
on by default) at project creation time, Indexing can now be turned on/off
on a per project basis from the individual project property pages.

- Bogdan


Index: src/org/eclipse/cdt/make/ui/wizards/MakeProjectWizardOptionPage.java
===================================================================
RCS file: /home/tools/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/wizards/MakeProjectWizardOptionPage.java,v
retrieving revision 1.9
diff -u -r1.9 MakeProjectWizardOptionPage.java
--- src/org/eclipse/cdt/make/ui/wizards/MakeProjectWizardOptionPage.java	15 Apr 2004 19:01:33 -0000	1.9
+++ src/org/eclipse/cdt/make/ui/wizards/MakeProjectWizardOptionPage.java	3 May 2004 17:30:00 -0000
@@ -10,6 +10,7 @@
 import org.eclipse.cdt.ui.dialogs.ICOptionContainer;
 import org.eclipse.cdt.ui.dialogs.ReferenceBlock;
 import org.eclipse.cdt.ui.dialogs.TabFolderOptionBlock;
+import org.eclipse.cdt.ui.properties.IndexerBlock;
 import org.eclipse.cdt.ui.wizards.NewCProjectWizard;
 import org.eclipse.cdt.ui.wizards.NewCProjectWizardOptionPage;
 import org.eclipse.core.resources.IProject;
@@ -30,9 +31,11 @@
  * </p>
  */
 public class MakeProjectWizardOptionPage extends NewCProjectWizardOptionPage {
-
+	MakeWizardOptionBlock makeWizardBlock; 
+	
 	public class MakeWizardOptionBlock extends MakeProjectOptionBlock {
-
+		IndexerBlock indexBlock;
+		
 		public MakeWizardOptionBlock(ICOptionContainer parent) {
 			super(parent);
 		}
@@ -40,6 +43,7 @@
 		protected void addTabs() {
 			addTab(new ReferenceBlock());
 			super.addTabs();
+			addTab(indexBlock = new IndexerBlock()); 
 		}
 	}
 
@@ -50,7 +54,7 @@
 	}
 
 	protected TabFolderOptionBlock createOptionBlock() {
-		return new MakeWizardOptionBlock(this);
+		return (makeWizardBlock  = new MakeWizardOptionBlock(this));
 	}
 
 	public IProject getProject() {
@@ -62,6 +66,10 @@
 	 */
 	public Preferences getPreferences() {
 		return MakeCorePlugin.getDefault().getPluginPreferences();
+	}
+	
+	public boolean isIndexerEnabled(){
+	  return	makeWizardBlock.indexBlock.isIndexEnabled();
 	}
 
 }