Code

launch configs as preferences#4947

Code

Merged

akosyakov merged 6 commits intomastereclipse-theia/theia:masterfrom ak/laung_preferenceseclipse-theia/theia:ak/laung_preferencesCopy head branch name to clipboardMay 2, 2019

+2,142-698

Commits

Commits on May 2, 2019

• Added ability to retrieve configuration for a resource.

  Show description for 6db0948
  

  akurinnoy

  authored and

  akosyakov

  committed
  6db0948

  Copy full SHA for 6db0948

• Handle properties that are not valid at the time of reading.

  Show description for d4ebb46
  

  akurinnoy

  authored and

  akosyakov

  committed
  d4ebb46

  Copy full SHA for d4ebb46

• Added preference provider to handle 'launch.json'

  Show description for bb46b37
  

  akurinnoy

  authored and

  akosyakov

  committed
  bb46b37

  Copy full SHA for bb46b37

• Handle changing of 'launch' property in order to re-build preference schema

  Show description for b2ed0b4
  

  akurinnoy

  authored and

  akosyakov

  committed
  b2ed0b4

  Copy full SHA for b2ed0b4

• fixes

  Show description for da6dceb
  

  akurinnoy

  authored and

  akosyakov

  committed
  da6dceb

  Copy full SHA for da6dceb

• launch preferences support

  Show description for b9ede94
  akosyakov

  committed
  b9ede94

  Copy full SHA for b9ede94