Open yann300 opened 5 years ago
Is it methods exposed by the editor plugin ?
yes. the API still needs to be defined for those. e.g for adding more autocompletion in Remix IDE https://github.com/ethereum/remix-ide/blob/master/src/app/editor/editor.js#L131
for adding item in the gutter in Remix IDE too https://github.com/ethereum/remix-ide/blob/master/src/app/editor/editor.js#L456 params looks like
{"row":29,"column":5,"text":" text ... ","type":"error"}"
They should be implemented in Remix IDE. But probably need to be specified here in the doc and typescript: