From 965f7a7b14964f681b550e53d1424e73acf8be9c Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 8 Apr 2014 02:24:22 +0200
Subject: [PATCH] Print WebGL status in the console

---
 web/viewer.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/viewer.js b/web/viewer.js
index 7003d9cf0..4aa1cd5d6 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -1104,7 +1104,8 @@ var PDFView = {
       console.log('PDF ' + pdfDocument.fingerprint + ' [' +
                   info.PDFFormatVersion + ' ' + (info.Producer || '-').trim() +
                   ' / ' + (info.Creator || '-').trim() + ']' +
-                  (PDFJS.version ? ' (PDF.js: ' + PDFJS.version + ')' : ''));
+                  ' (PDF.js: ' + (PDFJS.version || '-') +
+                  (!PDFJS.disableWebGL ? ' [WebGL]' : '') + ')');
 
       var pdfTitle;
       if (metadata && metadata.has('dc:title')) {