From a6d10af3b44dfa56f55b38149e6aaab47c9bdb7b Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 18 Aug 2015 12:35:42 +0200
Subject: [PATCH] Add `disableStream` to the list of preferences read by
`PDFViewerApplication.initialize` (issue 6361)
Fixes 6361.
---
web/viewer.js | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/web/viewer.js b/web/viewer.js
index 8090fb206..dd664e9ef 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -271,6 +271,12 @@ var PDFViewerApplication = {
}
PDFJS.disableRange = value;
}),
+ Preferences.get('disableStream').then(function resolved(value) {
+ if (PDFJS.disableStream === true) {
+ return;
+ }
+ PDFJS.disableStream = value;
+ }),
Preferences.get('disableAutoFetch').then(function resolved(value) {
PDFJS.disableAutoFetch = value;
}),