diff options
author | Michael Hutchinson <mhutch@xamarin.com> | 2011-09-26 17:24:40 +0400 |
---|---|---|
committer | Michael Hutchinson <mhutch@xamarin.com> | 2011-09-26 17:28:11 +0400 |
commit | 5a26ad694ad3623ec8c6b876224a0a045005e092 (patch) | |
tree | b6e4b4f1223fe318dd58cd561c615f1ed2d955c6 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels | |
parent | 5301b1aa3047d8e3f4bdcc5ef3f03722df455032 (diff) |
[Ide] Remove the FileScout
It's barely maintained and hasn't seen much love, there's not much point
in having it in an IDE, and no-one uses it. Apparently it was only ever
intended as a temporary workaround before SharpDevelop had project
support, and MD inherited it.
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs index 58449072c8..b1055e515d 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs @@ -89,7 +89,6 @@ namespace MonoDevelop.Ide.Gui.OptionPanels comboTheme.Active = themes.IndexOf (IdeApp.Preferences.UserInterfaceTheme) + 1; documentSwitcherButton.Active = PropertyService.Get ("MonoDevelop.Core.Gui.EnableDocumentSwitchDialog", true); - hiddenButton.Active = PropertyService.Get ("MonoDevelop.Core.Gui.FileScout.ShowHidden", false); fontCheckbox.Active = IdeApp.Preferences.CustomPadFont != null; fontButton.FontName = IdeApp.Preferences.CustomPadFont ?? name; fontButton.Sensitive = fontCheckbox.Active; @@ -151,7 +150,6 @@ namespace MonoDevelop.Ide.Gui.OptionPanels if (theme != Gtk.Settings.Default.ThemeName) Gtk.Settings.Default.ThemeName = theme; - PropertyService.Set ("MonoDevelop.Core.Gui.FileScout.ShowHidden", hiddenButton.Active); if (fontCheckbox.Active) IdeApp.Preferences.CustomPadFont = fontButton.FontName; else |