Skip to content
This repository has been archived by the owner on Jun 8, 2023. It is now read-only.

Add the configuration options used by the plugin #89

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Add the configuration options used by the plugin #89

wants to merge 2 commits into from

Commits on Jun 17, 2018

  1. Add the configuration options used by the plugin 

    Before that change, VS Code would complain about unknown configuration
options if those options were added to `settings.json`.
    @marmistrz
    marmistrz committed Jun 17, 2018
    Configuration menu
    Copy the full SHA
    e543f3b View commit details
    Browse the repository at this point in the history

  2. Fix Scala.tmLanguage

    @marmistrz
    marmistrz committed Jun 17, 2018
    Configuration menu
    Copy the full SHA
    ca12d4c View commit details
    Browse the repository at this point in the history