From af6170ffd0bbac91a4b85df02d4bb3db87719a2a Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 13 Jan 2015 09:38:34 +0100
Subject: [PATCH] Attempt to display the File size quicker in the Document
 Properties dialog (PR 5554 followup)

---
 web/viewer.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/viewer.js b/web/viewer.js
index f83f3212d..806c9f065 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -403,6 +403,10 @@ var PDFViewerApplication = {
 
           PDFViewerApplication.open(args.pdfUrl, 0, undefined,
                                     pdfDataRangeTransport);
+
+          if (args.length) {
+            DocumentProperties.setFileSize(args.length);
+          }
           break;
         case 'range':
           pdfDataRangeTransport.onDataRange(args.begin, args.chunk);