sharing config between client and server

[zth]

Fixes #23

This introduces configuration in the extension, periodically synced to the language server for use. We'll probably need to revisit this if we get more intricate configuration needs later on, but for now this is simple enough and will do for the cases we currently have.

[cristianoc]

How about adding the config to the example-project as an example.
Also, should the README be updated.

[zth]

Updated the readme. Can't set up the configuration in the example project though, because VSCode doesn't save settings in the repo by default.

[cristianoc]

Thanks! Merging.

[cristianoc]

Nit: does not look like changing the setting and restarting the server picks them up.
Reloading the window does.
At least in debug mode. Haven't tried if it's the same when installing the .vsix file

[zth]

You mean when restarting via the restart command recently added?

[cristianoc]

You mean when restarting via the restart command recently added?

yes

[cristianoc]

Or I guess the more general question is: why polling. If one needs to restart anyway.
Maybe having to restart is not bad, and one can make everything simpler and remove the polling logic.

[zth]

Hmm, I don't need to restart anything, polling works fine for me as I tested. How are you testing it?

[cristianoc]

What I've tried is: change the setting, then ask the server to restart.

[cristianoc]

Don't know what else to test without restarting the entire editor.

[zth]

Ahh, I think I know the issue. I'll fix it.

[zth]

Done here: #438