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

dhall-lsp-server: Add option to only use ASCII when formatting and linting #1533

Merged
merged 3 commits into from
Nov 14, 2019

Commits on Nov 13, 2019

  1. Add config support

    The config so far consists of a single `asciiOnly` flag (whose intended
    behaviour is not yet implemented).
    EggBaconAndSpam committed Nov 13, 2019
    Configuration menu
    Copy the full SHA
    d3225ef View commit details
    Browse the repository at this point in the history
  2. Implement 'ascii-only' option when formatting and linting

    This commit adds functionality to the 'asciiOnly' flag, i.e. when turned
    on we don't output fancy non-ascii characters. Needs a recent version of
    the client to function -- the version on the marketplace does not relay
    configuration data to the server yet!
    EggBaconAndSpam committed Nov 13, 2019
    Configuration menu
    Copy the full SHA
    0c35eb9 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2019

  1. Configuration menu
    Copy the full SHA
    03bc21d View commit details
    Browse the repository at this point in the history