- if (_app_options.AppOptions.get("disablePreferences")) {
- if (_app_options.AppOptions.get("pdfBugEnabled")) {
- await this._parseHashParams();
- }
- return;
- }
- if (_app_options.AppOptions._hasUserOptions()) {
- console.warn("_initializeOptions: The Preferences may override manually set AppOptions; " + 'please use the "disablePreferences"-option in order to prevent that.');