Replace "undefined" with "∅" for better clarity

- Changed "undefined" to empty set symbol (∅) for parsing results in the score header - Display empty set symbol (∅) in notifications when no symbols are found
moisseev · Sep 6, 2024 · 472b62f · 472b62f
1 parent a19afd4
commit 472b62f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/manifest.json b/manifest.json
@@ -10,7 +10,7 @@
   "name": "__MSG_extensionName__",
   "description": "__MSG_extensionDescription__",
   "default_locale": "en",
-  "version": "2.4.0",
+  "version": "2.4.1",
   "author": "Alexander Moisseev (moiseev@mezonplus.ru)",
   "homepage_url": "https://github.com/moisseev/rspamd-spamness",
   "icons": {

diff --git a/scripts/background.js b/scripts/background.js
@@ -76,7 +76,7 @@ async function sendMessageToRspamd(message, buttonId, windowId, tabIndex, action
                     ? `${s.score.toFixed(2)} [${s.score < 0 ? "-" : ""}${s.options[0]}]`
                     : `${s.name} (${s.score.toFixed(2)}) [${s.options[0]}]`;
             })
-            .join("; ");
+            .join("; ") || "∅";
     }
 
     async function handleResponse(response) {

diff --git a/scripts/libHeader.js b/scripts/libHeader.js
@@ -96,7 +96,7 @@ libHeader.parseHeaders = function (symbols) {
     const parsed = [];
 
     const b = symbols.match(/BAYES_(?:HAM|SPAM)\((([-])?[\d.]+)\)(?:\[([^\]]+?)%\])?/);
-    parsed.bayes = (b) ? b[1] : "undefined";
+    parsed.bayes = (b) ? b[1] : "∅";
     parsed.bayesOptions = (b && b[3]) ? (b[2] || "") + b[3] : "";
 
     const re = /FUZZY_(?:WHITE|PROB|DENIED|UNKNOWN)\(([-\d.]+)\)/g;
@@ -110,6 +110,6 @@ libHeader.parseHeaders = function (symbols) {
     }
     parsed.fuzzy = (parsed.fuzzy)
         ? Number(parseFloat(parsed.fuzzy).toFixed(10))
-        : "undefined";
+        : "∅";
     return {fuzzySymbolsCount, parsed};
 };