The extension doesn’t currently refresh files. In scenarios where commands are run that modify files, it would be nice if output files could be refreshed. I need to investigate how this could work since the extension doesn’t necessarily know which files are updated.
The extension doesn’t currently refresh files. In scenarios where commands are run that modify files, it would be nice if output files could be refreshed. I need to investigate how this could work since the extension doesn’t necessarily know which files are updated.