87 lines
3.2 KiB
C#
87 lines
3.2 KiB
C#
//------------------------------------------------------------------------------
|
|
// <auto-generated>
|
|
// This code was generated by a tool.
|
|
// Runtime Version:4.0.30319.261
|
|
//
|
|
// Changes to this file may cause incorrect behavior and will be lost if
|
|
// the code is regenerated.
|
|
// </auto-generated>
|
|
//------------------------------------------------------------------------------
|
|
|
|
namespace GraphingCalculator.Properties {
|
|
|
|
|
|
[global::System.Runtime.CompilerServices.CompilerGeneratedAttribute()]
|
|
[global::System.CodeDom.Compiler.GeneratedCodeAttribute("Microsoft.VisualStudio.Editors.SettingsDesigner.SettingsSingleFileGenerator", "10.0.0.0")]
|
|
internal sealed partial class Settings : global::System.Configuration.ApplicationSettingsBase {
|
|
|
|
private static Settings defaultInstance = ((Settings)(global::System.Configuration.ApplicationSettingsBase.Synchronized(new Settings())));
|
|
|
|
public static Settings Default {
|
|
get {
|
|
return defaultInstance;
|
|
}
|
|
}
|
|
|
|
[global::System.Configuration.UserScopedSettingAttribute()]
|
|
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
|
[global::System.Configuration.DefaultSettingValueAttribute("600")]
|
|
public double PlotPrecision {
|
|
get {
|
|
return ((double)(this["PlotPrecision"]));
|
|
}
|
|
set {
|
|
this["PlotPrecision"] = value;
|
|
}
|
|
}
|
|
|
|
[global::System.Configuration.UserScopedSettingAttribute()]
|
|
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
|
[global::System.Configuration.DefaultSettingValueAttribute("41")]
|
|
public double GridDensity {
|
|
get {
|
|
return ((double)(this["GridDensity"]));
|
|
}
|
|
set {
|
|
this["GridDensity"] = value;
|
|
}
|
|
}
|
|
|
|
[global::System.Configuration.UserScopedSettingAttribute()]
|
|
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
|
[global::System.Configuration.DefaultSettingValueAttribute("4")]
|
|
public int RoundDoublesGraph {
|
|
get {
|
|
return ((int)(this["RoundDoublesGraph"]));
|
|
}
|
|
set {
|
|
this["RoundDoublesGraph"] = value;
|
|
}
|
|
}
|
|
|
|
[global::System.Configuration.UserScopedSettingAttribute()]
|
|
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
|
[global::System.Configuration.DefaultSettingValueAttribute("0.1")]
|
|
public double NavigationSensitivity {
|
|
get {
|
|
return ((double)(this["NavigationSensitivity"]));
|
|
}
|
|
set {
|
|
this["NavigationSensitivity"] = value;
|
|
}
|
|
}
|
|
|
|
[global::System.Configuration.UserScopedSettingAttribute()]
|
|
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
|
[global::System.Configuration.DefaultSettingValueAttribute("1.075")]
|
|
public double ZoomSensitivity {
|
|
get {
|
|
return ((double)(this["ZoomSensitivity"]));
|
|
}
|
|
set {
|
|
this["ZoomSensitivity"] = value;
|
|
}
|
|
}
|
|
}
|
|
}
|