private void OnSettingChanged(ValueWithGuid<EditorSetting> valueWithGuid) { if (!string.IsNullOrEmpty(valueWithGuid.Guid) && valueWithGuid.Guid != _fileGuid) return; FontFamily = valueWithGuid.Value.FontFamily; FontSize = valueWithGuid.Value.FontSize; ShowLineNumber = valueWithGuid.Value.ShowLineNumber; WordWrap = valueWithGuid.Value.WordWrap; CodeCompletion = valueWithGuid.Value.CodeCompletion; AutoCompile = valueWithGuid.Value.AutoCompile; AutoCompileDelay = valueWithGuid.Value.AutoCompileDelay; }
private void OnSettingChanged(ValueWithGuid <EditorSetting> valueWithGuid) { FontFamily = valueWithGuid.Value.FontFamily; FontSize = valueWithGuid.Value.FontSize; WordWrap = valueWithGuid.Value.WordWrap; }