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

Don't let space terminate ref auto-completion #10637

Closed
hep-cogth opened this issue Mar 17, 2024 · 0 comments
Closed

Don't let space terminate ref auto-completion #10637

hep-cogth opened this issue Mar 17, 2024 · 0 comments
Assignees
Milestone

Comments

@hep-cogth
Copy link

hep-cogth commented Mar 17, 2024

In what scenarios do you need this feature?

image
to visualize

Currently when referring something with space (i.e. typed (( with a space following), completion will break unless another letter is typed.
This breaks the consistency of thinking.

Describe the optimal solution

Auto completion consistently shown when referring.

Describe the candidate solution

No response

Other information

No response

@hep-cogth hep-cogth changed the title Don't Let Space Break Auto Completion Don't Let Space Terminate Auto Completion Mar 17, 2024
@Vanessa219 Vanessa219 self-assigned this Mar 18, 2024
@Vanessa219 Vanessa219 added this to the 3.0.4 milestone Mar 18, 2024
@88250 88250 changed the title Don't Let Space Terminate Auto Completion Don't let space terminate ref auto-completion Mar 18, 2024
Vanessa219 added a commit that referenced this issue Mar 18, 2024
@88250 88250 changed the title Don't let space terminate ref auto-completion Don't let space terminate ref auto-completion Mar 18, 2024
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

3 participants