Adding JS Types (#1749)

Added types for some exceptions, config objects, and sleep()
This commit is contained in:
Jeff Glass
2023-09-22 12:19:22 -05:00
committed by GitHub
parent 5079dd19cb
commit c9e7fe16e4
8 changed files with 106 additions and 10 deletions

View File

@@ -24,6 +24,11 @@ hooks.onInterpreterReady.add(function override(pyScript) {
// Error hook utilities
// Custom function to show notifications
/**
* Add a banner to the top of the page, notifying the user of an error
* @param {string} message
*/
export function notify(message) {
const div = document.createElement("div");
div.className = "py-error";