eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.94k stars 2.49k forks source link

Stop execution when deleting cell #13701

Closed jonah-iden closed 5 months ago

jonah-iden commented 5 months ago

What it does

This stops execution of cells when deleting them. Through this the kernel won't break and cells will executable normally after that.

How to test

Create or open a notebook with at least 2 cells. have a longer running cell like:

import time
for i in range(1,100): 
    print('gffff' + str(i))
    time.sleep(0.1)

execute the cell and delete it while it executes. After that the other cells should still be executable

Follow-ups

Review checklist

Reminder for reviewers