deshaw / jupyterlab-execute-time

A JupyterLab extension for displaying cell timings
BSD 3-Clause "New" or "Revised" License
370 stars 48 forks source link

Fix extension not showing up in the Settings Editor #120

Closed krassowski closed 5 months ago

krassowski commented 5 months ago

Fixes #119

mlucool commented 5 months ago

Is this PR ready for review?

krassowski commented 5 months ago

Is this PR ready for review?

Yes, I believe so.