Update to JupyterLab 4.0.0a35

[jtpio]

Fixes #6734
Fixes #6341
Fixes #6761
Closes #6342

To check:

• Update JupyterLab, Lumino and other deps
• Broken syntax highlighting? Check Use tokens to extend CodeMirror editors jupyterlab/jupyterlab#13639
• Add support for showing the file size in the File Browser jupyterlab/jupyterlab#14044
• Upgrade to TypeScript 5.0 beta jupyterlab/jupyterlab#13925
• Add output prompt overlay for toggling scroll mode jupyterlab/jupyterlab#14072
• Minor trust improvements jupyterlab/jupyterlab#14039
• Bump to Lumino 2.0.0-rc.0 jupyterlab/jupyterlab#14096
• Try removing skipLibCheck:

notebook/tsconfigbase.json

Line 17 in e7b5c37

"skipLibCheck": true,

• Move the file name searcher to the file browser toolbar jupyterlab/jupyterlab#14064

filename-searcher.mp4

[github-actions]

👈 Launch a Binder on branch jtpio/notebook/update-jupyterlab-alpha

[jtpio]

bot please update playwright snapshots

[jtpio]

Ah looks like there is a glitch with the "Interface" dropdown menu (showing ... instead on notebook load):

[jtpio]

bot please update playwright snapshots

[fcollonval]

@jtpio, I forgot about it but the new hamburger feature is under a boolean flag options.overflowMenuOptions.overflowMenuVisible :

https://github.com/jupyterlab/lumino/blob/e3c221345ca69dd2517b479d66911077f97ae7c4/packages/widgets/src/menubar.ts#L1114

[jtpio]

@fcollonval yeah this was added in 6e0cd07.

But according to the bot snapshot update it does not seem to be taken into account? (now showing up as empty because of title set to ''?)

[jtpio]

bot please update playwright snapshots

[jtpio]

bot please update playwright snapshots

[jtpio]

Looks like jupyterlab/lumino#550 did fix the issue with menu bar.

[jtpio]

And also looking good on Binder now: