Improve serif fallback font name matching

Author: james-atticus

src/core/fonts.js

@@ -989,10 +989,14 @@ class Font {
     // Fallback to checking the font name, in order to improve text-selection,
     // since the /Flags-entry is often wrong (fixes issue13845.pdf).
     if (!isSerifFont && !properties.isSimulatedFlags) {
-      const baseName = name.replaceAll(/[,_]/g, "-").split("-", 1)[0],
+      const stdFontMap = getStdFontMap(),
+        nonStdFontMap = getNonStdFontMap(),
         serifFonts = getSerifFonts();
-      for (const namePart of baseName.split("+")) {
-        if (serifFonts[namePart]) {
+      for (let namePart of name.split("+")) {
+        let fontName = namePart.replaceAll(/[,_]/g, "-");
+        fontName = stdFontMap[fontName] || nonStdFontMap[fontName] || fontName;
+        fontName = fontName.split("-", 1)[0]
+        if (serifFonts[fontName]) {
           isSerifFont = true;
           break;
         }

test/pdfs/.gitignore

@@ -737,6 +737,7 @@
 !bug1708041.pdf
 !bug1978317.pdf
 !dates.pdf
+!issue13845_TimesNewRomanPSMT.pdf
 !dates_save.pdf
 !print_protection.pdf
 !tracemonkey_with_annotations.pdf

test/pdfs/issue13845_TimesNewRomanPSMT.pdf

@@ -1961,6 +1961,13 @@
     "lastPage": 1,
     "type": "text"
   },
+  {
+    "id": "issue13845_TimesNewRomanPSMT",
+    "file": "pdfs/issue13845_TimesNewRomanPSMT.pdf",
+    "md5": "be3648879c0dfce8ce070f714e2cb075",
+    "rounds": 1,
+    "type": "eq"
+  },
   {
     "id": "xfa_bug1718521_1",
     "file": "pdfs/xfa_bug1718521_1.pdf",