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

Display context and mark out error tokens #145

Open
wants to merge 12 commits into
base: main
Choose a base branch
from

Commits on Aug 20, 2020

  1. Configuration menu
    Copy the full SHA
    83b0e20 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a44c30d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    015365b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bbd8661 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    8d96354 View commit details
    Browse the repository at this point in the history
  6. Not using arrow functions

    aliclark committed Aug 20, 2020
    Configuration menu
    Copy the full SHA
    7018fa7 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4e733de View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    af77f00 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e523095 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2020

  1. Mark out tabs graphically

    aliclark committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    a666625 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    78c655a View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2020

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