description:'Opens the provided resource in the editor. Can be a text or binary file, or a http(s) url. If you need more control over the options for opening a text file, use vscode.window.showTextDocument instead.',
args:[
{name:'resource',description:'Resource to open',constraint:URI},
{name:'column',description:'(optional) Column in which to open',constraint:v=>v===void0||typeofv==='number'}
{name:'columnOrOptions',description:'(optional) Either the column in which to open or editor options, see vscode.TextDocumentShowOptions',constraint:v=>v===void0||typeofv==='number'||typeofv==='object'}