File shell-properties.patch of Package monodevelop-boo

Overview Repositories Revisions Requests Users Attributes Meta

File shell-properties.patch of Package monodevelop-boo

Index: Gui/OptionPanels/GeneralBooShellPanel.boo
===================================================================
--- Gui/OptionPanels/GeneralBooShellPanel.boo	(revision 102166)
+++ Gui/OptionPanels/GeneralBooShellPanel.boo	(working copy)
@@ -33,7 +33,7 @@
 
 public class GeneralBooShellPanel(GeneralShellPanel):
 
-	public Properties as ShellProperties:
+	public ShellProperties as ShellProperties:
 		get:
 			return BooShellProperties()
 
Index: Gui/OptionPanels/GeneralShellPanel.boo
===================================================================
--- Gui/OptionPanels/GeneralShellPanel.boo	(revision 102166)
+++ Gui/OptionPanels/GeneralShellPanel.boo	(working copy)
@@ -43,7 +43,7 @@
 	private defaultMonoRadio as RadioButton
 	private customFontRadio as RadioButton
 
-	protected virtual Properties as ShellProperties:
+	protected virtual ShellProperties as ShellProperties:
 		get:
 			pass
 
@@ -93,7 +93,7 @@
 		vbox.PackStart (hboxTmp, false, false, 0)
 		Add (vbox)
 
-		s = Properties.FontName
+		s = ShellProperties.FontName
 
 		if s == "__default_monospace":
 			defaultMonoRadio.Active = true
@@ -102,27 +102,27 @@
 			customFontRadio.Active = true
 
 		fontButton.Sensitive = customFontRadio.Active
-		autoIndentCheckButton.Active = Properties.AutoIndentBlocks
-		resetClearsScrollbackCheckButton.Active = Properties.ResetClearsScrollback
-		resetClearsHistoryCheckButton.Active = Properties.ResetClearsHistory
-		loadAssemblyCheckButton.Active =  Properties.LoadAssemblyAfterBuild
+		autoIndentCheckButton.Active = ShellProperties.AutoIndentBlocks
+		resetClearsScrollbackCheckButton.Active = ShellProperties.ResetClearsScrollback
+		resetClearsHistoryCheckButton.Active = ShellProperties.ResetClearsHistory
+		loadAssemblyCheckButton.Active =  ShellProperties.LoadAssemblyAfterBuild
 
 
 	public override def StorePanelContents() as bool:
 		if customFontRadio.Active:
-			Properties.FontName =  fontButton.FontName
+			ShellProperties.FontName =  fontButton.FontName
 		elif defaultMonoRadio.Active:
-			Properties.FontName = "__default_monospace"
+			ShellProperties.FontName = "__default_monospace"
 
-		if Properties.AutoIndentBlocks != autoIndentCheckButton.Active:
-			Properties.AutoIndentBlocks = autoIndentCheckButton.Active
+		if ShellProperties.AutoIndentBlocks != autoIndentCheckButton.Active:
+			ShellProperties.AutoIndentBlocks = autoIndentCheckButton.Active
 
-		if Properties.ResetClearsScrollback != resetClearsScrollbackCheckButton.Active:
-			Properties.ResetClearsScrollback = resetClearsScrollbackCheckButton.Active
-		if Properties.ResetClearsHistory != resetClearsHistoryCheckButton.Active:
-			Properties.ResetClearsHistory = resetClearsHistoryCheckButton.Active
-		if Properties.LoadAssemblyAfterBuild != loadAssemblyCheckButton.Active:
-			Properties.LoadAssemblyAfterBuild = loadAssemblyCheckButton.Active
+		if ShellProperties.ResetClearsScrollback != resetClearsScrollbackCheckButton.Active:
+			ShellProperties.ResetClearsScrollback = resetClearsScrollbackCheckButton.Active
+		if ShellProperties.ResetClearsHistory != resetClearsHistoryCheckButton.Active:
+			ShellProperties.ResetClearsHistory = resetClearsHistoryCheckButton.Active
+		if ShellProperties.LoadAssemblyAfterBuild != loadAssemblyCheckButton.Active:
+			ShellProperties.LoadAssemblyAfterBuild = loadAssemblyCheckButton.Active
 		return true
 	
 	private def ItemToggled (o, args as EventArgs):

Places

File shell-properties.patch of Package monodevelop-boo

Places