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

Refactor Error Code definitions #1270

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Commits on Feb 25, 2024

  1. Refactor Error Code definitions

    This refactors the way error codes are handled, in preparation for
    making JSONRPC.jl less LSP specific, by hooking into custom error printing
    provided by an upstream PR.
    Seelengrab committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    53b4b84 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Unify formatting error codes

    Since this is basically the same errors, unify the two
    error codes into one. Technically the two are subtly different
    (one is trying to format the whole document, while the other
    is only trying to format a section), but the underlying cause
    is likely the same, so it's fine to merge them. If necessary/required,
    they can be disentangled later on too, as currently noone seems to
    check them anyway.
    Seelengrab committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    6cce4a4 View commit details
    Browse the repository at this point in the history