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

[issue-114] Infoview should indicate when server is not started #159

Merged
merged 51 commits into from
Jun 1, 2022
Merged

[issue-114] Infoview should indicate when server is not started #159

merged 51 commits into from
Jun 1, 2022

Commits on Mar 25, 2022

  1. Infoview should indicate when server is not started

    @marianaalanis93
    marianaalanis93 committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    16f1da2 View commit details
    Browse the repository at this point in the history

  2. Infoview should indicate when server is not started

    @marianaalanis93
    marianaalanis93 committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    51d1022 View commit details
    Browse the repository at this point in the history

  3. Add static message for server unavailabe inside info.tsx and a Refres… 

    …h button
    @marianaalanis93
    marianaalanis93 committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    6c65bda View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2022

  1. Display message for server unavailable in 'All Messages' section

    @marianaalanis93
    marianaalanis93 committed Mar 26, 2022
    Configuration menu
    Copy the full SHA
    a1a794c View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2022

  1. Add commit used for testing

    @marianaalanis93
    marianaalanis93 committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    9322a51 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2022

  1. Add server message for server unavailable

    @marianaalanis93
    marianaalanis93 committed Mar 31, 2022
    Configuration menu
    Copy the full SHA
    878eebd View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2022

  1. Add message for server unavailable

    @marianaalanis93
    marianaalanis93 committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    6a2eb58 View commit details
    Browse the repository at this point in the history

  2. Add latest changes for server unavailable

    @marianaalanis93
    marianaalanis93 committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    f3d6c9f View commit details
    Browse the repository at this point in the history

  3. Add new version of vscode server languageclient

    @marianaalanis93
    marianaalanis93 committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    79d8e73 View commit details
    Browse the repository at this point in the history

  4. Add new version of vscode server languageclient

    @marianaalanis93
    marianaalanis93 committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    9d0b295 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2022

  1. Fix build and update Promises in some functions

    @marianaalanis93
    marianaalanis93 committed Apr 2, 2022
    Configuration menu
    Copy the full SHA
    464e32b View commit details
    Browse the repository at this point in the history

  2. Fix lint issues and update Promises in some functions

    @marianaalanis93
    marianaalanis93 committed Apr 2, 2022
    Configuration menu
    Copy the full SHA
    0716a74 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2022

  1. Update package/lock.json

    @marianaalanis93
    marianaalanis93 committed Apr 4, 2022
    Configuration menu
    Copy the full SHA
    10b199a View commit details
    Browse the repository at this point in the history

  2. Modify logic for display server unavailable message

    @marianaalanis93
    marianaalanis93 committed Apr 4, 2022
    Configuration menu
    Copy the full SHA
    3794d74 View commit details
    Browse the repository at this point in the history

  3. Modify logic for display server unavailable message

    @marianaalanis93
    marianaalanis93 committed Apr 4, 2022
    Configuration menu
    Copy the full SHA
    e797f79 View commit details
    Browse the repository at this point in the history

  4. Modify logic for display server unavailable message

    @marianaalanis93
    marianaalanis93 committed Apr 4, 2022
    Configuration menu
    Copy the full SHA
    92ba912 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2022

  1. Modify logic for display server unavailable message

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    b3953fe View commit details
    Browse the repository at this point in the history

  2. Modify logic for display server unavailable message

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    932942c View commit details
    Browse the repository at this point in the history

  3. Revert update vscode-languageclient version

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    57e71d7 View commit details
    Browse the repository at this point in the history

  4. Revert update vscode-languageclient version

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    43bed7f View commit details
    Browse the repository at this point in the history

  5. Revert update vscode-languageclient version

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    7520636 View commit details
    Browse the repository at this point in the history

  6. Revert update vscode-languageclient version

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    eb6edd7 View commit details
    Browse the repository at this point in the history

  7. Revert update vscode-languageclient version and apply CR comments

    @marianaalanis93
    marianaalanis93 committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    ad6c1f8 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2022

  1. Merge branch 'master' of https://github.com/leanprover/vscode-lean4 i… 

    …nto issue-114
    @marianaalanis93
    marianaalanis93 committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    6192e6b View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2022

  1. Merge branch 'master' of https://github.com/leanprover/vscode-lean4 i… 

    …nto issue-114
    @marianaalanis93
    marianaalanis93 committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    afbb7c5 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2022

  1. Add restart functility

    @marianaalanis93
    marianaalanis93 committed May 5, 2022
    Configuration menu
    Copy the full SHA
    103fe30 View commit details
    Browse the repository at this point in the history

  2. Add restart functility

    @marianaalanis93
    marianaalanis93 committed May 5, 2022
    Configuration menu
    Copy the full SHA
    decdffc View commit details
    Browse the repository at this point in the history

  3. Add restart functility

    @marianaalanis93
    marianaalanis93 committed May 5, 2022
    Configuration menu
    Copy the full SHA
    ea383a5 View commit details
    Browse the repository at this point in the history

  4. Add restart functility

    @marianaalanis93
    marianaalanis93 committed May 5, 2022
    Configuration menu
    Copy the full SHA
    0d9073c View commit details
    Browse the repository at this point in the history

Commits on May 6, 2022

  1. Merge branch 'master' into issue-114

    @lovettchris
    lovettchris committed May 6, 2022
    Configuration menu
    Copy the full SHA
    bd294ba View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Apply CR comments

    @marianaalanis93
    marianaalanis93 committed May 9, 2022
    Configuration menu
    Copy the full SHA
    ab3a8c6 View commit details
    Browse the repository at this point in the history

  2. try and fix flakey tests by making stop client a bit more robust.

    @lovettchris
    lovettchris committed May 9, 2022
    Configuration menu
    Copy the full SHA
    4122431 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Add space formatting

    @marianaalanis93
    marianaalanis93 committed May 12, 2022
    2 Configuration menu
    Copy the full SHA
    9cd535e View commit details
    Browse the repository at this point in the history

Commits on May 13, 2022

  1. Apply CR comments

    @marianaalanis93
    marianaalanis93 committed May 13, 2022
    Configuration menu
    Copy the full SHA
    e8de3d5 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. Merge branch 'master' into issue-114

    @lovettchris
    lovettchris committed May 19, 2022
    Configuration menu
    Copy the full SHA
    f10cc25 View commit details
    Browse the repository at this point in the history

  2. Apply CR comments for server crashed cases

    @marianaalanis93
    marianaalanis93 committed May 19, 2022
    Configuration menu
    Copy the full SHA
    6d39f66 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2022

  1. code review

    @lovettchris
    lovettchris committed May 20, 2022
    Configuration menu
    Copy the full SHA
    de5029a View commit details
    Browse the repository at this point in the history

  2. fix bug in remembering client failed state.

    @lovettchris
    lovettchris committed May 20, 2022
    Configuration menu
    Copy the full SHA
    ed7e925 View commit details
    Browse the repository at this point in the history

  3. remove debug console output.

    @lovettchris
    lovettchris committed May 20, 2022
    Configuration menu
    Copy the full SHA
    4956ef5 View commit details
    Browse the repository at this point in the history

  4. Apply CR comments

    @marianaalanis93
    marianaalanis93 committed May 20, 2022
    1 Configuration menu
    Copy the full SHA
    255d42d View commit details
    Browse the repository at this point in the history

  5. Fix unit tests

    @marianaalanis93
    marianaalanis93 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    e4f3bc3 View commit details
    Browse the repository at this point in the history

  6. Fix unit tests

    @marianaalanis93
    marianaalanis93 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    6601e4a View commit details
    Browse the repository at this point in the history

  7. Fix unit tests

    @marianaalanis93
    marianaalanis93 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    bf5dd23 View commit details
    Browse the repository at this point in the history

  8. Fix unit tests

    @marianaalanis93
    marianaalanis93 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    26e5b69 View commit details
    Browse the repository at this point in the history

  9. fix duplicate restart event

    @lovettchris
    lovettchris committed May 20, 2022
    Configuration menu
    Copy the full SHA
    361c96d View commit details
    Browse the repository at this point in the history

  10. print restart error state changes

    @lovettchris
    lovettchris committed May 20, 2022
    Configuration menu
    Copy the full SHA
    9ac3404 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2022

  1. Merge branch 'master' of https://github.com/leanprover/vscode-lean4 i… 

    …nto issue-114
    @marianaalanis93
    marianaalanis93 committed May 25, 2022
    Configuration menu
    Copy the full SHA
    bc5289c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'issue-114' of https://github.com/leanprover/vscode-lean4 … 

    …into issue-114
    @marianaalanis93
    marianaalanis93 committed May 25, 2022
    Configuration menu
    Copy the full SHA
    95392ac View commit details
    Browse the repository at this point in the history

  3. Apply CR comments

    @marianaalanis93
    marianaalanis93 committed May 25, 2022
    Configuration menu
    Copy the full SHA
    dffdb74 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2022

  1. Merge branch 'master' into issue-114

    @marianaalanis93
    marianaalanis93 committed May 26, 2022
    Configuration menu
    Copy the full SHA
    c2c4929 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2022

  1. Merge branch 'master' of https://github.com/leanprover/vscode-lean4 i… 

    …nto issue-114
    @marianaalanis93
    marianaalanis93 committed May 31, 2022
    Configuration menu
    Copy the full SHA
    03551a5 View commit details
    Browse the repository at this point in the history