--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/electron Mon Mar 14 16:03:15 2022 +0100
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: run the Electron framework (with its own command-line arguments)
+
+exec "$ISABELLE_VSCODIUM_HOME/electron" "$@"