public override void SaveSettingsToStorage() { base.SaveSettingsToStorage(); var oldOpt = new OptionValues(); oldOpt.LoadSettingsFromStorage(); #region save options // HACK: 2.3. ダイアログからオプションへ値を設定する var newOpt = new OptionValues { RightMargin = Math.Max(0, Math.Min(RightMargin, 1024)), VisibleLineBreakMode = VisibleLineBreakMode, IsEnabledLineIndicator = IsEnabledLineIndicator, IsEnabledColumnIndicator = IsEnabledColumnIndicator, IsLockedWheelZoom = IsLockedWheelZoom, }; #endregion newOpt.SaveSettingsToStorage(); var changedOptions = UpdateNames(oldOpt, newOpt) .ToArray(); if (!changedOptions.IsEmpty()) { var e = new OptionEventArgs(newOpt, new ReadOnlyCollection <string>(changedOptions)); OptionObserver.OnOptionChanged(e); } }
public static void OnOptionChanged(OptionEventArgs e) { OptionChanged?.Invoke(null, e); }