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

Make ScriptElementKind and HighlightSpanKind string enums #15966

Merged
6 commits merged into from
May 23, 2017
Merged

Make ScriptElementKind and HighlightSpanKind string enums #15966

6 commits merged into from
May 23, 2017

Commits on May 20, 2017

  1. Make ScriptElementKind and HighlightSpanKind string enums

    andy-ms committed May 20, 2017
    Configuration menu
    Copy the full SHA
    b162097 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2017

  1. Also convert ClassificationTypeNames and CommandTypes/CommandNames

    Andy Hanson committed May 22, 2017
    Configuration menu
    Copy the full SHA
    f94818d View commit details
    Browse the repository at this point in the history

  2. Convert other namespace + type alias in protocol.ts to const enums

    Andy Hanson committed May 22, 2017
    Configuration menu
    Copy the full SHA
    3b56ebe View commit details
    Browse the repository at this point in the history

  3. Fix missing initializers

    Andy Hanson committed May 22, 2017
    Configuration menu
    Copy the full SHA
    c6e69dd View commit details
    Browse the repository at this point in the history

  4. Make CommandTypes a const enum and use allCommandTypes for unit test

    Andy Hanson committed May 22, 2017
    Configuration menu
    Copy the full SHA
    f6240cb View commit details
    Browse the repository at this point in the history

Commits on May 23, 2017

  1. Merge branch 'master' into kind

    Andy Hanson committed May 23, 2017
    Configuration menu
    Copy the full SHA
    b1e100e View commit details
    Browse the repository at this point in the history