// { 'remix.execute(filepath)': 'Run the script specified by file path. If filepath is empty, script currently displayed in the editor is executed.' },
{'remix.execute(filepath)':'Run the script specified by file path. If filepath is empty, script currently displayed in the editor is executed.'},
{'remix.exeCurrent()':'Run the script currently displayed in the editor.'},
// { 'remix.help()': 'Display this help message.' },
{'remix.loadgist(id)':'Load a gist in the file explorer.'},