From 923ba27f1fb9c31679ba4b3a15ab7150dd5d2974 Mon Sep 17 00:00:00 2001
From: Takashi Tamura <tamuratak@users.noreply.github.com>
Date: Sun, 2 Aug 2020 17:46:24 +0900
Subject: [PATCH] Tweak for the type of PageViewportParameters.viewBox

---
 src/display/display_utils.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/display/display_utils.js b/src/display/display_utils.js
index 80bb9e59a..b1292858b 100644
--- a/src/display/display_utils.js
+++ b/src/display/display_utils.js
@@ -194,7 +194,8 @@ class DOMSVGFactory {
 
 /**
  * @typedef {Object} PageViewportParameters
- * @property {Array} viewBox - The xMin, yMin, xMax and yMax coordinates.
+ * @property {Array<number>} viewBox - The xMin, yMin, xMax and
+ *   yMax coordinates.
  * @property {number} scale - The scale of the viewport.
  * @property {number} rotation - The rotation, in degrees, of the viewport.
  * @property {number} [offsetX] - The horizontal, i.e. x-axis, offset. The