eclipse-theia / theia

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

Added notebook output options and tag preference search #13773

Closed jonah-iden closed 1 month ago

jonah-iden commented 1 month ago

What it does

This adds multiple new notebook output preferences. Also adds the ability to filter by tags in the settings so that the settings link in truncated notebook outputs work.

How to test

Open or create a notebook with a cell with large output like

for i in range(1,100):
    print('a')

after running the cell at the bottom you should see a settings link. Clicking it should open the settings and show the new preferences. Playing around with them (except see follow ups) should update the output.

Follow-ups

the following preferences are currently not live updated but require clearing the output and running a cell again:

Review checklist

Reminder for reviewers

jonah-iden commented 1 month ago

search should be improved now to work very simliar to vscode

jonah-iden commented 1 month ago

@msujew thanks, good catch. should be fixed now