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

Theming of entire workbench #8

Merged
merged 4 commits into from
May 18, 2017
Merged

Theming of entire workbench #8

merged 4 commits into from
May 18, 2017

Commits on May 16, 2017

  1. Use dark & light versions of folder icons

    @pahen
    pahen committed May 16, 2017
    Configuration menu
    Copy the full SHA
    46780bc View commit details
    Browse the repository at this point in the history

  2. Add /node_modules to .gitignore

    @pahen
    pahen committed May 16, 2017
    Configuration menu
    Copy the full SHA
    c6ce994 View commit details
    Browse the repository at this point in the history

  3. Add .eslintrc

    @pahen
    pahen committed May 16, 2017
    Configuration menu
    Copy the full SHA
    d5b4dc7 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2017

  1. Convert themes to new theme format

    @pahen
    pahen committed May 18, 2017
    Configuration menu
    Copy the full SHA
    d05774f View commit details
    Browse the repository at this point in the history