From d9a0e8b7ed2b801fbd77210ed47c5134ae64fd76 Mon Sep 17 00:00:00 2001
From: Neil Gershenfeld <gersh@cba.mit.edu>
Date: Mon, 14 May 2018 21:54:53 -0400
Subject: [PATCH] cut working?

---
 js/mods.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/mods.js b/js/mods.js
index 5003d2f..38f341b 100644
--- a/js/mods.js
+++ b/js/mods.js
@@ -489,6 +489,10 @@ window.addEventListener('contextmenu',function(evt){
          document.body.removeChild(evt.target.parentNode)
          mods.ui.menu = null
          set_prompt('cut not yet implemented')
+         for (var id in mods.ui.selected) {
+            var div = document.getElementById(id)
+            delete_module(id)
+            }
          })
       //
       // copy
-- 
GitLab