[WIP] Vscode injection

[haz]

trafficstars

Not yet ready to merge.

• This is the session id to load for testing things: ZwmKioETsTG4OvZ
• This is the new plugin implementation that implements the injection (search for vscode): http://www.haz.ca/newsolver.js
• General strategy is that a vscode-specific function is encoded as part of the settings; if it exists, then the vscode user is prompted to run it.
• Parameters for the function are set in stone: the settings for the plugin (which may contain specific configuration information for that plugin), as well as vscode custom API (to be decided on).
• Current hangup: how to get access to the right URI for changing settings, and deciding on what exactly should be included in the vscode API for the plugin to use.

The URI access that I'm using is a bit too hacky -- it's the only place in the vscode datastructure that I was able to find the right URI. Here's the full function that's being injected (note that this needs to be post-TS->JS compilation):

vscode_api.vscode.workspace.getConfiguration("pddlPlanner", vscode_api.vscode.workspace.workspaceFolders[0].uri)
                                    .update("executableOrService",
                                            plugin_settings.url + "/solve",
                                            vscode_api.vscode.ConfigurationTarget.WorkspaceFolder);

[haz]

So where should we take this PR from here? What things should be added / changed? CC @jan-dolejsi

[gifhuppp]

แล้วเราจะเอา PR ไปจากที่นี่ที่ไหน? ควรเพิ่ม/เปลี่ยนแปลงอะไรบ้าง? CC @jan-dolejsi