// // All of the Node.js APIs are available in the preload process.
// // It has the same sandbox as a Chrome extension.
// window.addEventListener("DOMContentLoaded", () => {
//   const replaceText = (selector: string, text: string) => {
//     const element = document.getElementById(selector);
//     if (element) {
//       element.innerText = text;
//     }
//   };

//   for (const type of ["chrome", "node", "electron"]) {
//     replaceText(`${type}-version`, process.versions[type as keyof NodeJS.ProcessVersions]);
//   }
// });

// import { contextBridge } from 'electron'
// import { Kernel } from './jupyter-client'

// Kernel.connect('./kernel.json')
//   .then(kernel => contextBridge.exposeInMainWorld('Kernel', {
//     ...kernel,
//     exec: kernel.exec.bind(kernel)
//   }), console.error)