static async workspaceMissing(file) {
    let message = 'Workspace file cannot be located. Probably it was deleted or';
    message += ' renamed.\n\n';
    message += 'Requested file: ' + file;
    return await dialog.showMessageBox({
      type: 'error',
      message
    });
  }
/**
   * A dialog that renders error message about missing workspace file.
   * @param {String} file Requested workspace file location.
   * @return {Promise}
   */
A dialog that renders error message about missing workspace file.
@param {String} file Requested workspace file location.
@return {Promise}
A dialog that renders error message about missing workspace file . @param { String } file Requested workspace file location . @return { Promise }
static async workspaceMissing(file) {
    let message = 'Workspace file cannot be located. Probably it was deleted or';
    message += ' renamed.\n\n';
    message += 'Requested file: ' + file;
    return await dialog.showMessageBox({
      type: 'error',
      message
    });
  }
static async workspaceMissing ( file ) { let message = 'Workspace file cannot be located. Probably it was deleted or' ; message += ' renamed.\n\n' ; message += 'Requested file: ' + file ; return await dialog . showMessageBox ( { type : 'error' , message } ) ; }
A dialog that renders error message about missing workspace file.
A dialog that renders error message about missing workspace file .