#develop (short for SharpDevelop) is a free IDE for .NET programming languages.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

44 lines
1.4 KiB

// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
// This code is distributed under the BSD license (for details please see \src\AddIns\Debugger\Debugger.AddIn\license.txt)
using System;
using System.Drawing;
using System.Windows.Forms;
using System.Xml.Serialization;
using Debugger;
using ICSharpCode.Core;
namespace ICSharpCode.SharpDevelop.Services
{
public enum ShowIntegersAs { Decimal, Hexadecimal, Both, Auto };
[Serializable]
public class DebuggingOptions: Options
{
public static DebuggingOptions Instance {
get {
return PropertyService.Get("DebuggingOptions", new DebuggingOptions());
}
}
protected DebuggingOptions()
{
ShowIntegersAs = ShowIntegersAs.Auto;
DebuggerEventWindowState = FormWindowState.Normal;
DebuggeeExceptionWindowState = FormWindowState.Normal;
}
public ShowIntegersAs ShowIntegersAs { get; set; }
public bool ShowArgumentNames { get; set; }
public bool ShowArgumentValues { get; set; }
public bool ShowExternalMethods { get; set; }
public bool ShowLineNumbers { get; set; }
public bool ShowModuleNames { get; set; }
// Properties for the DebuggerExceptionForm
public FormWindowState DebuggerEventWindowState { get; set; }
// Properties for the DebuggeeExceptionForm
public FormWindowState DebuggeeExceptionWindowState { get; set; }
}
}