JupyterLab settings missing about jupyterlab-execute-time

[krassowski]

If you close the settings and open them again, does it show up?

[krassowski]

If so then this is a duplicate of #98 - there is an upstream bug that settings for plugins which load later than others do not show up if the settings panel is open on startup (jupyterlab/jupyterlab#15871). It is quite annoying because it also affects the settings built-in plugins like Inline Completer.

[psychemedia]

Nope... opening and closing the settings editor had no effect. I guessed at the path name for the user settings file too to see if I could manually override some settings but either I guessed the path wrong, or that didn't work either...

[krassowski]

opening and closing the settings editor had no effect

Indeed, opening and closing does not help, unless you also open a notebook in the meantime. I can reproduce this reliably.

The problem here is that the settings UI only adds plugins to UI when the settings are loaded by the extension. jupyterlab-execute-time only loads the settings after opening a notebook.