diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-26 13:11:44 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-26 13:11:44 +0300 |
commit | 377e3553c8a744d8af7956cf28aabdde720b510c (patch) | |
tree | d6aa915350775a4f0e45c97cdab5a40ca66c37b8 /src/ui/documentwidget.c | |
parent | beee7d208c48d82bfe31d9616f382c4d0ca9df33 (diff) |
Preferences: Warn about missing glyphs
Diffstat (limited to 'src/ui/documentwidget.c')
-rw-r--r-- | src/ui/documentwidget.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c index 4a3ffe51..fa30aadf 100644 --- a/src/ui/documentwidget.c +++ b/src/ui/documentwidget.c | |||
@@ -1802,8 +1802,10 @@ static void cacheDocumentGlyphs_DocumentWidget_(const iDocumentWidget *d) { | |||
1802 | } | 1802 | } |
1803 | 1803 | ||
1804 | static void addBannerWarnings_DocumentWidget_(iDocumentWidget *d) { | 1804 | static void addBannerWarnings_DocumentWidget_(iDocumentWidget *d) { |
1805 | const int dismissed = value_SiteSpec(collectNewRange_String(urlRoot_String(d->mod.url)), | 1805 | const int dismissed = |
1806 | dismissWarnings_SiteSpecKey); | 1806 | value_SiteSpec(collectNewRange_String(urlRoot_String(d->mod.url)), |
1807 | dismissWarnings_SiteSpecKey) | | ||
1808 | (!prefs_App()->warnAboutMissingGlyphs ? missingGlyphs_GmDocumentWarning : 0); | ||
1807 | const int warnings = warnings_GmDocument(d->doc) & ~dismissed; | 1809 | const int warnings = warnings_GmDocument(d->doc) & ~dismissed; |
1808 | if (warnings & missingGlyphs_GmDocumentWarning) { | 1810 | if (warnings & missingGlyphs_GmDocumentWarning) { |
1809 | add_Banner(d->banner, warning_BannerType, missingGlyphs_GmStatusCode, NULL); | 1811 | add_Banner(d->banner, warning_BannerType, missingGlyphs_GmStatusCode, NULL); |