From bf2562ab2f3f917ddaa495b7f14c860da33364a4 Mon Sep 17 00:00:00 2001
From: Nilay Majorwar <nilaymajorwar@gmail.com>
Date: Tue, 22 Feb 2022 15:37:07 +0530
Subject: [PATCH] Add spinner to execution controls

---
 ui/execution-controls.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ui/execution-controls.tsx b/ui/execution-controls.tsx
index a37e1d2..beee42c 100644
--- a/ui/execution-controls.tsx
+++ b/ui/execution-controls.tsx
@@ -3,6 +3,7 @@ import {
   ButtonGroup,
   Icon,
   NumericInput,
+  Spinner,
   Tag,
 } from "@blueprintjs/core";
 
@@ -121,6 +122,9 @@ type Props = {
 export const ExecutionControls = (props: Props) => {
   return (
     <div style={styles.container}>
+      <div style={{ width: 20, marginRight: 15 }}>
+        {props.state === "running" && <Spinner size={20} />}
+      </div>
       {props.state === "off" ? (
         <RunButton onClick={props.onRun} />
       ) : (