tribufu/ServerManagers
1
0
Fork 0
mirror of https://github.com/tribufu/ServerManagers synced 2026-05-06 15:17:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added splitter to SectionDinoSettings

Browse source
This commit is contained in:
Brett Hewitson 2021-11-12 15:54:57 +10:00
parent 4b6ef69873
commit ba12a36686
3 changed files with 28 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/ARKServerManager/Config.Designer.cs generated
View file

@ -2743,5 +2743,17 @@ namespace ServerManagerTool {
this["EnvironmentListBoxHeight"] = value;
}
}
[global::System.Configuration.UserScopedSettingAttribute()]
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
[global::System.Configuration.DefaultSettingValueAttribute("400")]
public global::System.Windows.GridLength DinoSettingsGridHeight {
get {
return ((global::System.Windows.GridLength)(this["DinoSettingsGridHeight"]));
}
set {
this["DinoSettingsGridHeight"] = value;
}
}
}
}