remove save option

editorcontextDummy
filip mertens 2 years ago
parent c0843e5fae
commit 532cb1aa43
  1. 2
      apps/remix-ide/src/app/plugins/parser/services/code-parser-compiler.ts
  2. 2
      libs/remix-ui/editor/src/lib/providers/definitionProvider.ts

@ -84,7 +84,7 @@ export default class CodeParserCompiler {
this.plugin.emit('astFinished')
}
this.compiler = new Compiler((url, cb) => this.plugin.call('contentImport', 'resolveAndSave', url, undefined, true).then((result) => cb(null, result)).catch((error) => cb(error.message)))
this.compiler = new Compiler((url, cb) => this.plugin.call('contentImport', 'resolveAndSave', url, undefined).then((result) => cb(null, result)).catch((error) => cb(error.message)))
this.compiler.event.register('compilationFinished', this.onAstFinished)
}

@ -35,7 +35,7 @@ export class RemixDefinitionProvider implements monaco.languages.DefinitionProvi
const jumpToLine = async (fileName: string, lineColumn: any) => {
if (fileName !== await this.props.plugin.call('fileManager', 'file')) {
console.log('jump to file', fileName)
await this.props.plugin.call('contentImport', 'resolveAndSave', fileName, null, true)
await this.props.plugin.call('contentImport', 'resolveAndSave', fileName, null)
await this.props.plugin.call('fileManager', 'open', fileName)
}
if (lineColumn.start && lineColumn.start.line >= 0 && lineColumn.start.column >= 0) {

Loading…
Cancel
Save