From f8466f15ddcb41b6625e6dc1c38350ba207c2a6f Mon Sep 17 00:00:00 2001 From: Samuel FORESTIER Date: Sat, 11 Jun 2022 12:20:49 +0200 Subject: [PATCH] When "HTML" literal is used in documentation, prefers its uppercase form This will simplify lookups when case-sensitivity matching is enabled. --- user.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/user.js b/user.js index 5c112a2..c5dfcf8 100644 --- a/user.js +++ b/user.js @@ -1482,7 +1482,7 @@ user_pref("mailnews.display.disallow_mime_handlers", 3); * [2] https://hg.mozilla.org/comm-central/rev/c1ef44a22eb2 * [3] https://www.bucksch.org/1/projects/mozilla/108153/ ***/ user_pref("mailnews.display.html_as", 3); -/* 9216: Prefer to view as plaintext or html [SETUP-FEATURE] +/* 9216: Prefer to view as plaintext or HTML [SETUP-FEATURE] * true=Display a message as plain text when there is both a HTML and a plain * text version of a message body * false=Display a message as HTML when there is both a HTML and a plain text @@ -1591,7 +1591,7 @@ user_pref("rss.display.disallow_mime_handlers", 3); * [2] https://hg.mozilla.org/comm-central/rev/c1ef44a22eb2 * [3] https://www.bucksch.org/1/projects/mozilla/108153/ user_pref("rss.display.html_as", 1); -/* 9322: Prefer to view as plaintext or html +/* 9322: Prefer to view as plaintext or HTML * true=Display a message as plain text when there is both a HTML and a plain * text version of a message body * false=Display a message as HTML when there is both a HTML and a plain text