Function push_notification

src/App.tsx:453–457

(element: JSX.Element)

    }

    function push_notification(element: JSX.Element): number {
        let index = notification().length;
        set_notification((p) => [...p, element]);
        return index;
    }

    function delete_notification(index: number) {
        set_notification((p) => {