Persist editor highlight

[0mkara]

0mkar Today at 11:45 AM
@grand Schtroumpf @yann300 after I have hooked up filemanager and editor plugin currently the vscode extension works Ok. But if I switch editor file then the decorations are lost. One will need to recompile in order to get the decorations back. Also the decoration is applied only to currently opened file, but once a solidity program is compiled we can have decorations for all the files, so it is effectively possible to add decorations for each file. Let me know what do you think about it.

yann300 Today at 1:25 PM
https://github.com/ethereum/remix-project/blob/master/apps/remix-ide/src/app/editor/SourceHighlighters.js#L13
and
https://github.com/ethereum/remix-project/blob/master/apps/remix-ide/src/app/editor/sourceHighlighter.js#L34