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

feat: add fuzzy completions extension in the REPL #2493

Open
wants to merge 8 commits into
base: develop
Choose a base branch
from
Open

feat: add fuzzy completions extension in the REPL #2493

wants to merge 8 commits into from
+689 −47

Commits on Jul 1, 2024

  1. feat: add fuzzy completions extension 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    beebe51 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. fix: error when completing comments 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    a1d31bc View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. Merge branch 'develop' into fuzzy-extension 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah authored Jul 6, 2024
    Configuration menu
    Copy the full SHA
    fdc9b69 View commit details
    Browse the repository at this point in the history

  2. style: fix tabs and spaces 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    4e149b5 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Philipp Burckhardt <pburckhardt@outlook.com>
Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah @Planeshifter
    Snehil-Shah and Planeshifter authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    cdadaa9 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. style: fix lint errors 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    aa7b329 View commit details
    Browse the repository at this point in the history

  2. fix: remove unnecessary variable 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    1916c1b View commit details
    Browse the repository at this point in the history

  3. docs: move notes to ## Notes block 

    Signed-off-by: Snehil Shah <snehilshah.989@gmail.com>
    @Snehil-Shah
    Snehil-Shah committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    a5cc440 View commit details
    Browse the repository at this point in the history