pas2js/packages/vscode/vscodeimports.js

// Do not change this name without changing the names of the external objects in libvscode.
var vscode = require ('vscode');