Use callback to frontend extension Settings change to add/remove entries to launcher and main menu

mwouts / jupytext

Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts

https://jupytext.readthedocs.io

MIT License

6.6k stars 386 forks source link

Use callback to frontend extension Settings change to add/remove entries to launcher and main menu #1189

Open mahendrapaipuri opened 10 months ago

mahendrapaipuri commented 10 months ago

We have added the configurability of text notebook entries in front end extension via JupyterLab Settings in #1163. But the current implementation needs users to refresh their browser tabs to take Settings changes into account.

We can improve it by firing a callback whenever Settings changes and modify the entries in launcher and main menu dynamically without having to refresh browser tab.