From f1d5ec407e6419d29f757898782117f18c0fd851 Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <nnethercote@mozilla.com>
Date: Mon, 28 Jul 2014 16:35:45 -0700
Subject: [PATCH] Right-size |chars.length| and |type.length| in bidi().

This lets the JS engine resize the array elements buffer immediately,
thus avoiding some intermediate resizings. This can save multiple MiBs
of reallocation in text-heavy files.
---
 src/core/bidi.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/bidi.js b/src/core/bidi.js
index 16219ce09..a89e713b5 100644
--- a/src/core/bidi.js
+++ b/src/core/bidi.js
@@ -119,8 +119,8 @@ var bidi = PDFJS.bidi = (function bidiClosure() {
     }
 
     // Get types and fill arrays
-    chars.length = 0;
-    types.length = 0;
+    chars.length = strLength;
+    types.length = strLength;
     var numBidi = 0;
 
     var i, ii;