You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You can assign a keyboard shortcut to show the quickopen panel at any time. Open
47
-
the keyboard editor by clicking *Settings → Advanced Settings Editor
48
-
→ Keyboard Shortcuts*. Then enter JSON in the *User Overrides* text area
49
-
like the following, adjusting the `keys` value to assign the shortcut of your
50
-
choosing:
46
+
You can assign a keyboard shortcut to show the quickopen panel at any time. Open the keyboard editor
47
+
by clicking _Settings → Advanced Settings Editor → Keyboard Shortcuts_. Then enter JSON in
48
+
the _User Overrides_ text area like the following, adjusting the `keys` value to assign the shortcut
49
+
of your choosing:
51
50
52
51
```
53
52
{
54
-
"quickopen:activate": {
53
+
"shortcuts": [
54
+
{
55
55
"command": "quickopen:activate",
56
56
"keys": [
57
57
"Accel Ctrl P"
@@ -60,34 +60,40 @@ choosing:
60
60
"title": "Activate Quick Open",
61
61
"category": "Main Area"
62
62
}
63
+
]
63
64
}
64
65
```
65
66
66
67
### Patterns to Exclude
67
68
68
-
You can control which files to exclude from the quick open list using
69
-
Notebook server settings, JupyterLab settings, or both.
69
+
You can control which files to exclude from the quick open list using Notebook server settings,
70
+
JupyterLab settings, or both.
70
71
71
-
On the server side, use the `ContentsManager.allow_hidden`
72
-
and/or `ContentsManager.hide_globs`settings. See the
72
+
On the server side, use the `ContentsManager.allow_hidden` and/or `ContentsManager.hide_globs`
73
+
settings. See the
73
74
[documentation about Jupyter Notebook options](https://jupyter-notebook.readthedocs.io/en/stable/config.html)
74
75
for details.
75
76
76
-
In the JupyterLab web app, open the *Settings* menu, click the *Advanced
77
-
Settings Editor* option, select the *Quick Open* item in the *Raw View* sidebar,
78
-
and enter JSON in the *User Overrides* text area to override the default
79
-
values.
77
+
In the JupyterLab web app, open the _Settings_ menu, click the _Advanced Settings Editor_ option,
78
+
select the _Quick Open_ item in the _Raw View_ sidebar, and enter JSON in the _User Overrides_ text
79
+
area to override the default values.
80
80
81
81

82
82
83
83
## Develop
84
84
85
-
The project includes a Makefile which makes setting up a development environment
86
-
using `conda` easy.
85
+
The project includes a Makefile which makes setting up a development environment using `pipenv`
86
+
easy. You must also install the latest Node LTS release as a prerequisite.
87
87
88
88
```
89
-
# Create a conda environment and install the lab/server extensions
90
-
make conda-env
89
+
# Create a dev environment
90
+
make pipenv
91
+
92
+
# Activate the dev environment
93
+
make shell
94
+
95
+
# Install the frontend and server extensions
96
+
make build
91
97
92
98
# In one terminal, watch the frontend extension source for changes and rebuild
93
99
# the extension package
@@ -98,13 +104,16 @@ make watch-src
98
104
make watch-lab
99
105
```
100
106
101
-
Keep an eye on the terminal running `watch-src` for TypeScript build errors.
102
-
Keep an eye on the terminal running `watch-lab` to know when to refresh your
103
-
browser. Quit and re-run the `make watch-lab` command any time you make
104
-
changes to the **server** extension.
107
+
Keep an eye on the terminal running `watch-src` for TypeScript build errors. Keep an eye on the
108
+
terminal running `watch-lab` to know when to refresh your browser. Quit and re-run the
109
+
`make watch-lab` command any time you make changes to the **server** extension.
105
110
106
111
## FAQ
107
112
108
-
*Does this belong in JupyterLab?*
113
+
_Does this belong in JupyterLab?_
109
114
110
-
Maybe. To start, I wanted to do some hacking and it's easiest to do that in a small, independent repo. Putting this feature into JupyterLab-proper requires making the server-side portion work with `ContentManagers` that are not based on the local filesystem. That change might require a new `ContentManager` API since walking the file hierarchy via HTTP calls is pretty heavyweight. Python/TypeScript tests are also required.
115
+
Maybe. To start, I wanted to do some hacking and it's easiest to do that in a small, independent
116
+
repo. Putting this feature into JupyterLab-proper requires making the server-side portion work with
117
+
`ContentManagers` that are not based on the local filesystem. That change might require a new
118
+
`ContentManager` API since walking the file hierarchy via HTTP calls is pretty heavyweight.
0 commit comments