Home Explore Help
Register Sign In
ylproj
/
jupyterlab
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 6d6864079c
Branches Tags
jupyterlab
/
packages
/
documentsearch-extension
GitHub Action 08c81a5ad7 [ci skip] New version 3 years ago
..
schema 847b03e6fa Backport PR #12097: Document search debounce time via setting 3 years ago
src 59d097eab8 Backport PR #12310: Add argument `searchText` and `replaceText` to search and replace commands (#12418) 3 years ago
style 70b5e086f9 Remove all unused mainmenu 3 years ago
package.json 08c81a5ad7 [ci skip] New version 3 years ago
tsconfig.json 847b03e6fa Backport PR #12097: Document search debounce time via setting 3 years ago