mirror of
https://github.com/jie65535/GrasscutterCommandGenerator.git
synced 2025-10-20 19:39:47 +08:00
Add NavContainer splitter distance record
Fix not redrawing when Nav list size changed
This commit is contained in:
@@ -238,5 +238,17 @@ namespace GrasscutterTools.Properties {
|
||||
this["IsIncludeUID"] = value;
|
||||
}
|
||||
}
|
||||
|
||||
[global::System.Configuration.UserScopedSettingAttribute()]
|
||||
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
|
||||
[global::System.Configuration.DefaultSettingValueAttribute("0")]
|
||||
public int NavContainerSplitterDistance {
|
||||
get {
|
||||
return ((int)(this["NavContainerSplitterDistance"]));
|
||||
}
|
||||
set {
|
||||
this["NavContainerSplitterDistance"] = value;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@@ -56,5 +56,8 @@
|
||||
<Setting Name="IsIncludeUID" Type="System.Boolean" Scope="User">
|
||||
<Value Profile="(Default)">False</Value>
|
||||
</Setting>
|
||||
<Setting Name="NavContainerSplitterDistance" Type="System.Int32" Scope="User">
|
||||
<Value Profile="(Default)">0</Value>
|
||||
</Setting>
|
||||
</Settings>
|
||||
</SettingsFile>
|
Reference in New Issue
Block a user