From b6796889c3743ddc7b8b9ca1f8f14e0c5368c5b3 Mon Sep 17 00:00:00 2001
From: DD Liu <liudi@media.mit.edu>
Date: Fri, 12 Oct 2018 21:39:29 -0400
Subject: [PATCH] Fix firefox

---
 src/containers/gui.jsx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/containers/gui.jsx b/src/containers/gui.jsx
index c9b81b7b1..a1e02f815 100644
--- a/src/containers/gui.jsx
+++ b/src/containers/gui.jsx
@@ -48,7 +48,9 @@ class GUI extends React.Component {
         this.props.vm.attachAudioEngine(this.audioEngine);
         this.props.vm.initialized = true;
         const fontPromises = [];
-        if (document.fonts && document.fonts.values() && document.fonts.values().next) {
+        if (document.fonts &&
+            typeof document.fonts.values === 'function' &&
+            typeof document.fonts.values()[Symbol.iterator] === 'function') {
             for (const fontFace of document.fonts.values()) {
                 fontPromises.push(fontFace.loaded);
                 fontFace.load();
-- 
GitLab