From 40718bdb7b0510aea25f25d0ead334b917f5b022 Mon Sep 17 00:00:00 2001 From: Jonas Date: Mon, 6 May 2013 17:39:22 +0200 Subject: [PATCH] Fixes bug 863591 --- l10n/en-US/viewer.properties | 2 +- web/viewer.js | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/l10n/en-US/viewer.properties b/l10n/en-US/viewer.properties index e0d25ac79..3c174e4e8 100644 --- a/l10n/en-US/viewer.properties +++ b/l10n/en-US/viewer.properties @@ -120,4 +120,4 @@ request_password=PDF is protected by a password: printing_not_supported=Warning: Printing is not fully supported by this browser. printing_not_ready=Warning: The PDF is not fully loaded for printing. web_fonts_disabled=Web fonts are disabled: unable to use embedded PDF fonts. -web_colors_disabled=Web colors are disabled. +document_colors_disabled=PDF documents are not allowed to use their own colors: \'Allow pages to choose their own colors\' is deactivated in the browser. diff --git a/web/viewer.js b/web/viewer.js index 8db79ba7a..d2d7f66db 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -2377,8 +2377,10 @@ var PageView = function pageView(container, id, scale, // if (self.textLayer && self.textLayer.textDivs && // self.textLayer.textDivs.length > 0 && // !PDFView.supportsDocumentColors) { -// console.error(mozL10n.get('web_colors_disabled', null, -// 'Web colors are disabled.')); +// console.error(mozL10n.get('document_colors_disabled', null, +// 'PDF documents are not allowed to use their own colors: ' + +// '\'Allow pages to choose their own colors\' ' + +// 'is deactivated in the browser.')); // PDFView.fallback(); // } //#endif