function reloadOpenDocuments () {
  vscode.workspace.textDocuments.forEach(document => {
    if ((document.languageId !== 'scala') && (document.languageId !== 'java')) {
      return
    }
    const filename = document.fileName
    const fileContents = document.getText()
    const payload = {
      filename,
      fileContents
    }
    axios.post(serverUrl() + '/reload-file', payload)
  })
}
// (re)load all Scala/Java docs that are already open
(re)load all Scala/Java docs that are already open
( re ) load all Scala / Java docs that are already open
function reloadOpenDocuments () {
  vscode.workspace.textDocuments.forEach(document => {
    if ((document.languageId !== 'scala') && (document.languageId !== 'java')) {
      return
    }
    const filename = document.fileName
    const fileContents = document.getText()
    const payload = {
      filename,
      fileContents
    }
    axios.post(serverUrl() + '/reload-file', payload)
  })
}
function reloadOpenDocuments ( ) { vscode . workspace . textDocuments . forEach ( document => { if ( ( document . languageId !== 'scala' ) && ( document . languageId !== 'java' ) ) { return } const filename = document . fileName const fileContents = document . getText ( ) const payload = { filename , fileContents } axios . post ( serverUrl ( ) + '/reload-file' , payload ) } ) }
(re)load all Scala/Java docs that are already open
( re ) load all Scala / Java docs that are already open