Adds support for pwa-node and adds a poll option.

webview/src/components/GUI.tsx

@@ -103,19 +103,20 @@ export class VisualizerHeaderMain extends React.Component<{ model: Model }> {
 					<ExpressionInput model={m} />
 				</div>
 				<div style={{ width: 4 }} />
-				{m.loading ? (
-					<div style={{ padding: "0 4px" }}>
-						<Spinner size={Spinner.SIZE_SMALL} />
-					</div>
-				) : (
-					<Button
-						minimal
-						small
-						className="part-Icon"
-						icon="refresh"
-						onClick={() => m.refresh()}
-					/>
-				)}
+				{!m.isPolling &&
+					(m.loading ? (
+						<div style={{ padding: "0 4px" }}>
+							<Spinner size={Spinner.SIZE_SMALL} />
+						</div>
+					) : (
+						<Button
+							minimal
+							small
+							className="part-Icon"
+							icon="refresh"
+							onClick={() => m.refresh()}
+						/>
+					))}
 				<Button
 					minimal
 					small

webview/src/components/VisualizerHeaderDetails.tsx

@@ -1,5 +1,5 @@
 import * as React from "react";
-import { Popover } from "@blueprintjs/core";
+import { Popover, Checkbox } from "@blueprintjs/core";
 import { DataExtractorInfo } from "@hediet/debug-visualizer-data-extraction";
 import { computed } from "mobx";
 import { observer } from "mobx-react";
@@ -80,6 +80,12 @@ export class VisualizerHeaderDetails extends React.Component<{ model: Model }> {
 							: []
 					}
 				/>
+				<div style={{ width: 10 }} />
+				<Checkbox
+					label="Poll"
+					checked={m.isPolling}
+					onChange={e => m.setPolling(e.currentTarget.checked)}
+				/>
 			</div>
 		);
 	}