mirror of
https://github.com/sourcegit-scm/sourcegit
synced 2025-06-05 11:05:00 +00:00
fix: if font family name contains '#', make sure we have that built-in font
Signed-off-by: leo <longshuang@msn.cn>
This commit is contained in:
parent
d21b790784
commit
4807cd5eb2
1 changed files with 10 additions and 1 deletions
|
@ -671,7 +671,16 @@ namespace SourceGit
|
||||||
prevChar = c;
|
prevChar = c;
|
||||||
}
|
}
|
||||||
|
|
||||||
trimmed.Add(sb.ToString());
|
var name = sb.ToString();
|
||||||
|
var idx = name.IndexOf('#');
|
||||||
|
if (idx >= 0)
|
||||||
|
{
|
||||||
|
if (!name.Equals("fonts:Inter#Inter", StringComparison.Ordinal) &&
|
||||||
|
!name.Equals("fonts:SourceGit#JetBrains Mono", StringComparison.Ordinal))
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
trimmed.Add(name);
|
||||||
}
|
}
|
||||||
|
|
||||||
return trimmed.Count > 0 ? string.Join(',', trimmed) : string.Empty;
|
return trimmed.Count > 0 ? string.Join(',', trimmed) : string.Empty;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue