From ff793e6886241a04c57b3530929f24b62006b0ad Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Wed, 19 Jan 2022 09:40:26 -0500
Subject: [PATCH] cleanly allow support generation cancellation

---
 src/kiri-mode/fdm/driver.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/kiri-mode/fdm/driver.js b/src/kiri-mode/fdm/driver.js
index b48a8565..3022ab00 100644
--- a/src/kiri-mode/fdm/driver.js
+++ b/src/kiri-mode/fdm/driver.js
@@ -47,6 +47,10 @@
             let settings = API.conf.get();
             let widgets = API.widgets.map();
             KIRI.client.send("fdm_support_generate", { settings }, (gen) => {
+                if (gen && gen.error) {
+                    API.show.alert('support generation canceled');
+                    return ondone([]);
+                }
                 for (let g of gen) g.widget = widgets[g.id];
                 ondone(gen);
             });