mirror of
https://github.com/jie65535/GrasscutterCommandGenerator.git
synced 2026-11-05 15:11:59 +08:00
Add Setting Upgrade
This commit is contained in:
1 parent
c82ce1ea35
commit
eb60f402a4
4 files changed
+31
No files matched your search
@@ -274,5 +274,17 @@ namespace GrasscutterTools.Properties {
|
||||
this["ProjectResourcePath"] = value;
|
||||
}
|
||||
}
|
||||
|
||||
[global::System.Configuration.UserScopedSettingAttribute()]
|
||||
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
||||
[global::System.Configuration.DefaultSettingValueAttribute("False")]
|
||||
public bool IsUpgraded {
|
||||
get {
|
||||
return ((bool)(this["IsUpgraded"]));
|
||||
}
|
||||
set {
|
||||
this["IsUpgraded"] = value;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -65,5 +65,8 @@
|
||||
<Setting Name="ProjectResourcePath" Type="System.String" Scope="User">
|
||||
<Value Profile="(Default)" />
|
||||
</Setting>
|
||||
<Setting Name="IsUpgraded" Type="System.Boolean" Scope="User">
|
||||
<Value Profile="(Default)">False</Value>
|
||||
</Setting>
|
||||
</Settings>
|
||||
</SettingsFile>
|
||||
Reference in new issue
Block a user