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.

Sign up for GitHub

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

Jump to bottom

Better Completion for ExternalAutocomplete functions #1178

Merged
merged 7 commits into from
Oct 20, 2023
Merged

Better Completion for ExternalAutocomplete functions #1178

merged 7 commits into from
Oct 20, 2023

Commits on Oct 18, 2023

  1. Try fix insert "Array.map" become "Array.map" 

    Add FullNameExternalAutocomplete
    @Tangent-90
    Tangent-90 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    932a30b View commit details
    Browse the repository at this point in the history

  2. fix format

    @Tangent-90
    Tangent-90 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    c16da84 View commit details
    Browse the repository at this point in the history

  3. Fix: Completion insert wrong open statement 

    (for `module Result` added `open System.Diagnostics.Contracts.Contract`)
    @Tangent-90
    Tangent-90 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    b7837ea View commit details
    Browse the repository at this point in the history

  4. fix 

    fix: FullNameExternalAutocomplete can't get description
    @Tangent-90
    Tangent-90 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    537faf9 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. fix and improve 

    fix: completions with same label have same description
add: filter completions by full name under fullNameExternalAutocomplete
add: tests for fullNameExternalAutocomplete
    @Tangent-90
    Tangent-90 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    b053be9 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. fix

    @Tangent-90
    Tangent-90 committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    0462309 View commit details
    Browse the repository at this point in the history

  2. minor refactor: extract completion item to function and expand on docs

    @baronfel
    baronfel committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    c17a9d0 View commit details
    Browse the repository at this point in the history