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

Move completer to deephaven_internal #3138

Merged

Conversation

devinrsmith
Copy link
Member

Follow-up to #3114

@devinrsmith devinrsmith added this to the Nov 2022 milestone Dec 2, 2022
@devinrsmith devinrsmith self-assigned this Dec 2, 2022
from deephaven.completer import jedi_settings
from deephaven_internal.completer import jedi_settings
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could we rename it to auto_completer as suggested by Chip?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I acutally suggested autocomplete

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another thing we might want to take care of is the enum names in _completer.py, our convention is to use all CAPS (also requested by Chip in the original PR)

Copy link
Contributor

@jmao-denver jmao-denver left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

some symbols could be renamed to be consistent.

Copy link
Contributor

@jmao-denver jmao-denver left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@devinrsmith devinrsmith merged commit 5fcee3e into deephaven:main Dec 2, 2022
@devinrsmith devinrsmith deleted the deephaven_internal_completer branch December 2, 2022 22:05
@github-actions github-actions bot locked and limited conversation to collaborators Dec 2, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants