message: we do not send positions of PDF viewer to WebSocket server anymore. Related to
diff: @@ -10,8 +10,7 @@ import {encodePathWithPrefix} from '../utils/utils'
  interface Client {
  viewer: 'browser' | 'tab',
  - websocket: ws,
  - position?: {}
  + websocket: ws
  }
  export class Viewer {
  @@ -216,14 +215,6 @@ export class Viewer {
  }
  }
  break
  - case 'position':
  - clients = this.clients[data.path.toLocaleUpperCase()]
  - for (const client of clients) {
  - if (client.websocket === websocket) {
  - client.position = data
  - }
  - }
  - break
  case 'loaded':
  clients = this.clients[data.path.toLocaleUpperCase()]
  for (const client of clients) {
  @@ -231,9 +222,6 @@ export class Viewer {
  continue
  }
  const configuration = vscode.workspace.getConfiguration('latex-workshop')
  - if (client.position !== undefined) {
  - client.websocket.send(JSON.stringify(client.position))
  - } else {
  client.websocket.send(JSON.stringify({
  type: 'params',
  scale: configuration.get('view.pdf.zoom'),
  @@ -247,7 +235,6 @@ export class Viewer {
  synctex: configuration.get('view.pdf.internal.synctex.keybinding')
  }
  }))
  - }
  if (configuration.get('synctex.afterBuild.enabled') as boolean) {
  this.extension.logger.addLogMessage('SyncTex after build invoked.')
  this.extension.locator.syncTeX(undefined, undefined, decodeURIComponent(data.path))
  