Problem
Jupyter-ai v3 now consists of several extensions (server and frontend), each of which can have its own settings.
It might be helpful to have a dedicated settings panel for AI-related projects, to make it easier to find them.
Proposed Solution
-
Add a new extension that would provide a token for an AI settings panel.
Any extension that needs to make user settings available could consume this token and add its component/settings there.
Could/should we reuse the SettingsEditor widget, by providing a new SettingRegistry ?
-
Another option (simple) could be to use the settings system of Jupyterlab with filtering keywords (e.g. _ai_). The shortcut would call commands.execute('settingeditor:open', { query: '_ai_'})
Additional context
Problem
Jupyter-ai v3 now consists of several extensions (server and frontend), each of which can have its own settings.
It might be helpful to have a dedicated settings panel for AI-related projects, to make it easier to find them.
Proposed Solution
Add a new extension that would provide a token for an AI settings panel.
Any extension that needs to make user settings available could consume this token and add its component/settings there.
Could/should we reuse the
SettingsEditorwidget, by providing a newSettingRegistry?Another option (simple) could be to use the settings system of Jupyterlab with filtering keywords (e.g.
_ai_). The shortcut would callcommands.execute('settingeditor:open', { query: '_ai_'})Additional context
jupyter-ai-jupyternautexposes frontend settings, without using the regular settings registry system.