-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Sending telemetry for what language server is chosen #7109
Comments
|
Can you validate this @luabud ? Try looking for event |
Validated. These events are now available. |
The original issue comment makes mention of changes to the setting However this hasn't happened. So the telemetry shouldn't have changed!
I thought these events had been around for a while. |
The events are not available yet.
I expected it to be together to but it's find to leave it as separate.
I don't think the idea was to drop the other telemetry point, but to add this one to get more info. |
I talked to Karthik about it and since we're getting partial data for it, we can consider this validated. We'll track separately the "partial" problem. |
python.jediEnabled
is now changed topython.languageServer
. Send telemetry for the startup value of this new setting.The text was updated successfully, but these errors were encountered: