From e45f3409d4423eb09d92c51ffc1abb3296f9f5fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Krier?= <ced@b2ck.com>
Date: Sun, 5 May 2019 19:50:58 +0200
Subject: [PATCH] Convert height and width attributes into integer

This conversion was lost in the refactoring of issue8131.

issue8325
---
 src/view.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/view.js b/src/view.js
index 864e128f76..fdefdff4e4 100644
--- a/src/view.js
+++ b/src/view.js
@@ -113,7 +113,7 @@
                 }
             });
             ['yexpand', 'yfill', 'xexpand', 'xfill', 'colspan',
-                'position'].forEach(function(name) {
+                'position', 'height', 'width'].forEach(function(name) {
                     if (node_attrs[name]) {
                         node_attrs[name] = Number(node_attrs[name]);
                     }