michael/sourcegit
1
0
Fork 0
mirror of https://github.com/sourcegit-scm/sourcegit.git synced 2024-12-24 20:57:19 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

fix: ui not updated after font changed

Browse source
This commit is contained in:
leo 2024-07-30 10:29:07 +08:00
parent 9aa5787ce9
commit b18f86dde9
No known key found for this signature in database
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/ViewModels/Preference.cs
View file

@ -83,13 +83,21 @@ namespace SourceGit.ViewModels
public FontFamily DefaultFont public FontFamily DefaultFont
{ {
get => _defaultFont; get => _defaultFont;
set => SetProperty(ref _defaultFont, value); set
{
if (SetProperty(ref _defaultFont, value) && _onlyUseMonoFontInEditor)
OnPropertyChanged(nameof(PrimaryFont));
}
} }
public FontFamily MonospaceFont public FontFamily MonospaceFont
{ {
get => _monospaceFont; get => _monospaceFont;
set => SetProperty(ref _monospaceFont, value); set
{
if (SetProperty(ref _monospaceFont, value) && !_onlyUseMonoFontInEditor)
OnPropertyChanged(nameof(PrimaryFont));
}
} }
[JsonIgnore] [JsonIgnore]