diff options
| author | Henry Jameson <me@hjkos.com> | 2024-07-21 23:45:21 +0300 |
|---|---|---|
| committer | Henry Jameson <me@hjkos.com> | 2024-07-21 23:45:21 +0300 |
| commit | 4d3d07515163bfba4304bd22f9ed7f90d32cea28 (patch) | |
| tree | bcc5bcb899e0348f1f7fa36045ae5fb808aded7a /src/modules/interface.js | |
| parent | 665faf892a418fa1e7aeda1d1c82d926a2ed4f3a (diff) | |
fix font selector losing list of local fonts when selecting one
Diffstat (limited to 'src/modules/interface.js')
| -rw-r--r-- | src/modules/interface.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/modules/interface.js b/src/modules/interface.js index 206c68a7..d4f0017a 100644 --- a/src/modules/interface.js +++ b/src/modules/interface.js @@ -112,7 +112,8 @@ const interfaceMod = { state.lastTimeline = value }, setFontsList (state, value) { - state.localFonts = new Set(value.map(font => font.family)) + // Set is used here so that we filter out duplicate fonts (possibly same font but with different weight) + state.localFonts = [...(new Set(value.map(font => font.family))).values()] } }, actions: { |