iocaml
iocaml copied to clipboard
Cannot delete a notebook in the Dashboard
When I click on the Delete button in the Dashboard, a confirmation dialogue is shown with a red Delete button. After clicking this button the notebook is not deleted.
Noted; I believe this can be easily fixed as the kernel should have been shutdown by then.