Gibt es eine vorhandene Tastenbelegung zum Auswählen einer bestimmten Registerkarte im Jupyter-Labor?

Gibt es eine vorhandene Tastenbelegung zum Auswählen einer bestimmten Registerkarte im Jupyter-Labor?

Dies ist ein Screenshot von Jupyter Lab.

Es gibt zwei Registerkarten, auf die jeweils ein roter Pfeil zeigt.

Bildbeschreibung hier eingeben

Mit Befehl + Zahlen kann man in Chrome auf dem Mac eine bestimmte Registerkarte auswählen. Gibt es eine vorhandene Tastenbelegung, um auf diese Weise eine bestimmte Registerkarte auszuwählen?

Ich spreche nicht vom Wechseln zwischen vorheriger und nächster Position mithilfe von CTRL+ SHIFT+ [oder CTRL+ SHIFT+ ].

Ich spreche von so etwas wie diesem Befehl + 3 würde direkt die 3. Registerkarte auswählen

verwandte Informationen