diff options
Diffstat (limited to 'devel/electron7/files/patch-ui_strings_app__locale__settings.grd')
| -rw-r--r-- | devel/electron7/files/patch-ui_strings_app__locale__settings.grd | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/electron7/files/patch-ui_strings_app__locale__settings.grd b/devel/electron7/files/patch-ui_strings_app__locale__settings.grd new file mode 100644 index 000000000000..5dbd62a2b76b --- /dev/null +++ b/devel/electron7/files/patch-ui_strings_app__locale__settings.grd @@ -0,0 +1,11 @@ +--- ui/strings/app_locale_settings.grd.orig 2019-12-12 12:41:33 UTC ++++ ui/strings/app_locale_settings.grd +@@ -187,7 +187,7 @@ + 75% + </message> + </if> +- <if expr="(is_linux or is_android or is_bsd) and not chromeos"> ++ <if expr="is_posix and not chromeos"> + <!-- The font used in Web UI (e.g. History). Note that these are only + backups. We try to use the system font if possible. --> + <message name="IDS_WEB_FONT_FAMILY" use_name_for_id="true"> |