初回起動時および Tween から設定をコピーしてきた場合にウィンドウサイズを適切にスケールさせる
/// <summary>
/// ウィンドウサイズ等の保存時のDPI
/// </summary>
- public SizeF ScaleDimension = SizeF.Empty;
+ public SizeF ScaleDimension { get; set; } = new(96f, 96f);
public Point FormLocation = new(0, 0);
public int SplitterDistance = 200;
private void LoadConfig()
{
- // v1.2.4 以前の設定には ScaleDimension の項目がないため、現在の DPI と同じとして扱う
- if (this.settings.Local.ScaleDimension.IsEmpty)
- this.settings.Local.ScaleDimension = this.CurrentAutoScaleDimensions;
-
this.statuses.LoadTabsFromSettings(this.settings.Tabs);
this.statuses.AddDefaultTabs();
}