Jürgen Steitz
|
23a40f069b
|
Let didChangeConfiguration decide what options are interesting for the indexer
|
2017-03-04 13:02:16 +01:00 |
|
Jürgen Steitz
|
58c82e6dc9
|
Add list of valid indexer options
|
2017-03-02 23:11:14 +01:00 |
|
Jürgen Steitz
|
94336941bd
|
Let JsonMapper intialize the options
To sanitize the file type option, we provide a setter method for the property that will be called by the JsonMapper.
|
2017-02-18 19:30:34 +01:00 |
|
Jürgen Steitz
|
f7175bc195
|
Filter invalid file types and use default list as fallback
|
2017-02-18 10:38:55 +01:00 |
|
Jürgen Steitz
|
cdb5b56613
|
Add support to index multiple file extensions
Will take the options sent by the client.
Option: php.intellisense.fileTypes = [".php"]
|
2017-02-18 01:38:35 +01:00 |