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

Extension status bar improvements & polish #3971

Merged
merged 12 commits into from
Mar 11, 2016
Merged

Extension status bar improvements & polish #3971

merged 12 commits into from
Mar 11, 2016

Commits on Mar 10, 2016

  1. refactor

    joaomoreno committed Mar 10, 2016
    Configuration menu
    Copy the full SHA
    3e14c7c View commit details
    Browse the repository at this point in the history
  2. refactor

    joaomoreno committed Mar 10, 2016
    Configuration menu
    Copy the full SHA
    f4ca186 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e41c619 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cb97ad6 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    0377434 View commit details
    Browse the repository at this point in the history
  6. installing extensions state

    fixes #2835
    joaomoreno committed Mar 10, 2016
    Configuration menu
    Copy the full SHA
    75ceecf View commit details
    Browse the repository at this point in the history
  7. fix compile errors

    joaomoreno committed Mar 10, 2016
    Configuration menu
    Copy the full SHA
    9af6b69 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2016

  1. Configuration menu
    Copy the full SHA
    9ee605a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    00f6740 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d6977fe View commit details
    Browse the repository at this point in the history
  4. outdated extensions in status bar

    fixes #3540
    joaomoreno committed Mar 11, 2016
    Configuration menu
    Copy the full SHA
    288dd15 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    8c89898 View commit details
    Browse the repository at this point in the history