From 5458d06d8e5d72040454917f31179babecafde63 Mon Sep 17 00:00:00 2001
From: jtuu <joona.tuukkanen@gmail.com>
Date: Sat, 14 Sep 2019 21:58:15 +0300
Subject: [PATCH] [VM] Changed the icon for the VM button.

---
 src/core/gui/dom.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/core/gui/dom.ts b/src/core/gui/dom.ts
index c7d573ab..43f2ce7d 100644
--- a/src/core/gui/dom.ts
+++ b/src/core/gui/dom.ts
@@ -146,6 +146,7 @@ export enum Icon {
     Redo,
     Remove,
     GitHub,
+    Play,
 }
 
 export function icon(icon: Icon): HTMLElement {
@@ -179,6 +180,9 @@ export function icon(icon: Icon): HTMLElement {
         case Icon.GitHub:
             icon_str = "fab fa-github";
             break;
+        case Icon.Play:
+            icon_str = "fas fa-play";
+            break;
     }
 
     return el.span({ class: icon_str });