-
-
Notifications
You must be signed in to change notification settings - Fork 3.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Completer manager plugin is named :tracker
but probably should be :manager
#13669
Comments
krassowski
added
question
pkg:completer
status:Needs Triage
Applied to new issues that need triage
labels
Dec 27, 2022
JasonWeill
added
maintenance
and removed
status:Needs Triage
Applied to new issues that need triage
labels
Dec 29, 2022
I think this is a copy-paste error. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I noticed that the completer-extension manager plugin is named as
:tracker
:jupyterlab/packages/completer-extension/src/index.ts
Line 24 in 552cdfe
I would think that
:manager
is more appropriate here as it is not a tracker. Is this a copy-paste error, or was this intended? On 3.x branch we did have a:manager
too (but with a different API).CC @trungleduc
The text was updated successfully, but these errors were encountered: