Skip to content
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

Disable jedi for tab-completion #31648

Closed
videlec opened this issue Apr 11, 2021 · 10 comments
Closed

Disable jedi for tab-completion #31648

videlec opened this issue Apr 11, 2021 · 10 comments

Comments

@videlec
Copy link
Contributor

videlec commented Apr 11, 2021

jedi is causing too much trouble

We temporarily disable it by default.

See #31649 for reenabling jedi in SageMath.

CC: @mkoeppe @vbraun @kliem

Component: misc

Author: Vincent Delecroix

Branch/Commit: fe2b431

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/31648

@videlec videlec added this to the sage-9.3 milestone Apr 11, 2021
@videlec

This comment has been minimized.

@videlec
Copy link
Contributor Author

videlec commented Apr 11, 2021

Commit: f9b8599

@videlec
Copy link
Contributor Author

videlec commented Apr 11, 2021

Branch: u/vdelecroix/31648

@videlec
Copy link
Contributor Author

videlec commented Apr 11, 2021

New commits:

f9b859931648: disable jedi by default

@dimpase

This comment has been minimized.

@dimpase
Copy link
Member

dimpase commented Apr 11, 2021

comment:4

typo anabling -> enabling

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 11, 2021

Changed commit from f9b8599 to fe2b431

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 11, 2021

Branch pushed to git repo; I updated commit sha1. New commits:

fe2b431typo

@mkoeppe
Copy link
Contributor

mkoeppe commented Apr 11, 2021

Reviewer: Matthias Koeppe

@vbraun
Copy link
Member

vbraun commented Apr 14, 2021

Changed branch from u/vdelecroix/31648 to fe2b431

@vbraun vbraun closed this as completed in 59b6d20 Apr 14, 2021
This was referenced Jan 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants