Skip to content

Improve completions after special commands#2057

Merged
rolandwalker merged 1 commit into
mainfrom
RW/improve-completions-after-special-commands
Jul 25, 2026
Merged

Improve completions after special commands#2057
rolandwalker merged 1 commit into
mainfrom
RW/improve-completions-after-special-commands

Conversation

@rolandwalker

@rolandwalker rolandwalker commented Jul 25, 2026

Copy link
Copy Markdown
Contributor

Description

  • Recast NO_QUERY enum entry as NO_ARGUMENT, for clarity, though in many respects it is not used.
  • Complete on keywords and special commands after /help.
  • By default, do not complete on anything after a special command. This solves the issue of seeing the list of special commands after a command such as /warnings which takes no argument.
  • Special-case a first word starting with forward slash, offering no fuzzy keyword matches. This solves the problem that SQLWARNING was offered as a completion for /warn.

Checklist

  • I added this contribution to the changelog.md file.
  • I added my name to the AUTHORS file (or it's already there).
  • To lint and format the code, I ran
    uv run ruff check && uv run ruff format && uv run mypy --install-types .

 * recast NO_QUERY enum entry as NO_ARGUMENT, for clarity, though in
   many respects it is not used.
 * complete on keywords and special commands after /help.
 * by default, do not complete on anything after a special command.
   This solves the issue of seeing the list of special commands after
   a command such as /warnings which takes no argument.
 * special-case a first word starting with forward slash, offering no
   fuzzy keyword matches.  This solves the problem that SQLWARNING was
   offered as a completion for /warn.
@rolandwalker rolandwalker self-assigned this Jul 25, 2026
@rolandwalker
rolandwalker merged commit c560077 into main Jul 25, 2026
19 of 20 checks passed
@rolandwalker
rolandwalker deleted the RW/improve-completions-after-special-commands branch July 25, 2026 15:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant