Merge b0f8c1cf1b6ea495f03ec7f4632a347b71a35342 into 394fa2c1845e982223d67cfd0f9fd25edd65c67f

This commit is contained in:
Aditya kumar singh 2025-09-15 18:22:45 +00:00 committed by GitHub
commit 1af01b8759
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 14 additions and 11 deletions

View File

@ -4800,10 +4800,13 @@ class TranslatedFont {
} }
}) })
.catch(function (reason) { .catch(function (reason) {
if (!globalThis.SILENCE_TYPE3_WARNINGS) {
warn(`Type3 font resource "${key}" is not available.`); warn(`Type3 font resource "${key}" is not available.`);
}
const dummyOperatorList = new OperatorList(); const dummyOperatorList = new OperatorList();
charProcOperatorList[key] = dummyOperatorList.getIR(); charProcOperatorList[key] = dummyOperatorList.getIR();
}); });
}); });
} }
this.#type3Loaded = loadCharProcsPromise.then(() => { this.#type3Loaded = loadCharProcsPromise.then(() => {

View File

@ -98,7 +98,7 @@ import { Toolbar } from "web-toolbar";
import { ViewHistory } from "./view_history.js"; import { ViewHistory } from "./view_history.js";
const FORCE_PAGES_LOADED_TIMEOUT = 10000; // ms const FORCE_PAGES_LOADED_TIMEOUT = 10000; // ms
globalThis.SILENCE_TYPE3_WARNINGS = true;
const ViewOnLoad = { const ViewOnLoad = {
UNKNOWN: -1, UNKNOWN: -1,
PREVIOUS: 0, // Default value. PREVIOUS: 0, // Default value.