Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Settings missing from v3 #98

Closed
firai opened this issue Oct 10, 2023 · 2 comments
Closed

Settings missing from v3 #98

firai opened this issue Oct 10, 2023 · 2 comments

Comments

@firai
Copy link

firai commented Oct 10, 2023

jupyterlab-execute-time v3.0.1 + JupyterLab v4.0.6

jupyterlab-execute-time v2.3.1 + JupyterLab v3.6.6

@krassowski
Copy link
Collaborator

krassowski commented Oct 10, 2023

Close the "Settings" panel and re-open it. Does it show up now?

(this appears to be a race condition in JupyterLab that I saw with other extensions too; it seems to only occur when the Settings are open during page load)

@firai
Copy link
Author

firai commented Oct 10, 2023

Looks like it really depends on my luck. I initially loaded JL without the settings panel open when I noticed the issue, but after reloading several dozen times, it seems like the issue is caused by the race condition you mentioned. The section consistently doesn't show if I load with the settings panel open, but I sometimes get the section and sometimes don't even if I load JL without the settings panel open. Either way, seems like this issue is upstream as you said.

Thanks for the quick response!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants