Fixed SD2-1517: Changes made in project options not being saved on configuration change.

git-svn-id: svn://svn.sharpdevelop.net/sharpdevelop/branches/3.0@3791 1ccf3a8d-04fe-1044-b7c0-cef0b8235c61

src/AddIns/BackendBindings/FSharp/FSharpBinding/Project/FSharpBinding.addin

@@ -100,7 +100,6 @@
 		     category = "Main"
 		     title    = "F# Interactive"
 		     icon     = "F#.ProjectIcon"
-		     shortcut = "Control|Shift|B"
 		     class    = "FSharpBinding.FSharpInteractive"/>
 	</Path>
 

src/Main/Base/Project/Src/Project/ConfigurationGuiHelper.cs

@@ -671,6 +671,7 @@ namespace ICSharpCode.SharpDevelop.Project
 						ResetIndex();
 						return;
 					}
+					helper.Project.Save();
 				}
 				helper.Configuration = (string)configurationComboBox.SelectedItem;
 				helper.Platform      = (string)platformComboBox.SelectedItem;

src/Main/ICSharpCode.SharpDevelop.Dom/Project/Src/ExtensionMethods.cs

@@ -49,7 +49,7 @@ namespace ICSharpCode.SharpDevelop.Dom
 							stack.Push(children.GetEnumerator());
 						}
 					}
-					stack.Pop();
+					stack.Pop().Dispose();
 				}
 			} finally {
 				while (stack.Count > 0) {