[Bug]: PDF not refresh and not sync while using the latex-workshop extension

[sylvaticus]

Is there an existing issue for this?

• I have searched the existing issues

OS/Web Information

• Web Browser: firefox
• Local OS: Ubuntu
• Remote OS: Ubuntu 22.04 LTS
• Remote Architecture: amd64
• code-server --version: code-server: v4.20.1; Code: v1.85.2 (in JupyterHub v4.1.0)

Steps to Reproduce

code-server --install-extension latex-workshop
Make a basic latex file and save it
Click "View Latex PDF" in the "command section"
Edit the tex and save
Click again "View Latex PDF"

Expected

The PDF view in the tab should update

Actual

The PDF view in the tab is not updated

Logs

[14:49:01.214][Cacher][Watcher] "change" emitted on %WS1%/test.tex.
[14:49:01.215][Cacher] Caching %WS1%/test.tex .
[14:49:01.216][Cacher] Updated inputs of %WS1%/test.tex .
[14:49:01.216][Cacher] Parse LaTeX AST: %WS1%/test.tex .
[14:49:01.216][Build] Auto build starteddetecting the change of a file: %WS1%/test.tex .
[14:49:01.216][Event] AUTO_BUILD_INITIATED: {"type":"onFileChange","file":"%WS1%/test.tex"}
[14:49:01.216][Build] The document of the active editor: file://%WS1%/test.tex
[14:49:01.216][Build] The languageId of the document: latex
[14:49:01.216][Build] Building root file: %WS1%/test.tex
[14:49:01.217][Build][Recipe] Build root file %WS1%/test.tex
[14:49:01.217][Event] FILE_CHANGED: "%WS1%/test.tex"
[14:49:01.232][Cacher] Parsed LaTeX AST: %WS1%/test.tex .
[14:49:01.232][File] Calling kpsewhich to resolve article.cls .
[14:49:01.288][Cacher] Updated elements in 55.72 ms: %WS1%/test.tex .
[14:49:01.288][Event] FILE_PARSED: "%WS1%/test.tex"
[14:49:01.289][Structure] Structure force updated with 2 root sections for %WS1%/test.tex .
[14:49:01.289][Event] STRUCTURE_UPDATED
[14:49:01.290][Extension] onDidSaveTextDocument triggered: file://%WS1%/test.tex
[14:49:01.683][Extension] onDidSaveTextDocument triggered: file://%WS1%/test.tex
[14:49:01.684][Build][Recipe] Preparing to run recipe: latexmk.
[14:49:01.684][Build][Recipe] Prepared 1 tools.
[14:49:01.685][Build][Recipe] outDir: %WS1% .
[14:49:01.685][Build] Recipe step 1 The command is latexmk:["-synctex=1","-interaction=nonstopmode","-file-line-error","-pdf","-outdir=%WS1%","%WS1%/test"].
[14:49:01.685][Build] env: {}
[14:49:01.685][Build] root: %WS1%/test.tex
[14:49:01.686][Build] cwd: %WS1%
[14:49:01.693][Build] LaTeX build process spawned with PID 50033.
[14:49:01.704][Cacher][Watcher] "change" emitted on %WS1%/test.tex.
[14:49:01.706][Cacher] Caching %WS1%/test.tex .
[14:49:01.706][Cacher] Updated inputs of %WS1%/test.tex .
[14:49:01.706][Cacher] Parse LaTeX AST: %WS1%/test.tex .
[14:49:01.706][Build] Auto build starteddetecting the change of a file: %WS1%/test.tex .
[14:49:01.707][Event] AUTO_BUILD_INITIATED: {"type":"onFileChange","file":"%WS1%/test.tex"}
[14:49:01.707][Build] Autobuild temporarily disabled.
[14:49:01.707][Event] FILE_CHANGED: "%WS1%/test.tex"
[14:49:01.724][Cacher] Parsed LaTeX AST: %WS1%/test.tex .
[14:49:01.724][File] Calling kpsewhich to resolve article.cls .
[14:49:01.780][Cacher] Updated elements in 55.81 ms: %WS1%/test.tex .
[14:49:01.780][Event] FILE_PARSED: "%WS1%/test.tex"
[14:49:01.781][Structure] Structure force updated with 2 root sections for %WS1%/test.tex .
[14:49:01.781][Event] STRUCTURE_UPDATED
[14:49:02.072][Parser][TexLog] Logged 0 messages.
[14:49:02.073][Build] Finished a step in recipe with PID 50033.
[14:49:02.073][Build] Successfully built %WS1%/test.tex .
[14:49:02.073][Event] BUILD_DONE
[14:49:02.073][Viewer] Call refreshExistingViewer: "%WS1%/test.pdf" .
[14:49:02.073][Viewer] Refresh PDF viewer: %WS1%/test.pdf
[14:49:02.074][Cacher] Parsing .fls %WS1%/test.fls .
[14:49:02.077][Cacher] Found .aux %WS1%/test.tex from .fls %WS1%/test.fls , parsing.
[14:49:02.078][Cacher] Parsed .aux %WS1%/test.tex .
[14:49:02.078][Cacher] Parsed .fls %WS1%/test.fls .
[14:49:02.488][Cacher][Watcher] "change" emitted on %WS1%/test.pdf after polling for 250 ms.
[14:49:02.489][Viewer] Call refreshExistingViewer: "%WS1%/test.pdf" .
[14:49:02.489][Viewer] Refresh PDF viewer: %WS1%/test.pdf
[14:49:02.489][Event] FILE_CHANGED: "%WS1%/test.pdf"

Screenshot/Video

No response

Does this issue happen in VS Code or GitHub Codespaces?

• I tested this in native VS Code.
• This does not happen in native VS Code.
• I tested this in GitHub Codespaces.
• This does not happen in GitHub Codespaces.

Are you accessing code-server over a secure context?

• I am using a secure context.

Notes

The issue seems that the frame of the PDF preview of latex-workshop is itself not updated.
Indeed latex-workshop correctly issue a "preview" command, but that, as well any "manual" attempts of updating/refreshing fails.
The only thing to update the PDF is either to close the PDF preview tab and issue again the "View Latex PDF" command or to right click on the PDF -> This Frame -> Reload Frame.

Sync also doesn't work (in both directions)

[sylvaticus]

By the way, I am asking here as in the extension FAQ they say they simply they don't support vscode-server

[code-asher]

Does it work in Codespaces? If not I would use that angle to raise an issue. It seems unlikely to be specific to code-server, although not impossible, since we do patch some things around web views.

[sylvaticus]

Hello, yes I have tried it on https://github.com/sanjib-sen/WebLaTex and it works fine in a codespace settings (I have also opened an issue on the extension repository, but as expected it has been closed straigth away). A pity, as this extension would allow my colleagues to work on LateX on our computational server without installing anything...

[benz0li]

I can confirm @sylvaticus's findings.

It works in Codespaces with e.g. my Data Science Dev Containers (R verse) but it does not with JupyterLab R verse at https://coder.jupyter.b-data.ch.

---

Sample $\TeX$ file:

\documentclass{article}

\title{My first document}
\date{2024-02-09}
\author{John Doe}

\begin{document}
  \maketitle
  \newpage

  Hello World!

\end{document}

[benz0li]

@code-asher The LaTeX Workshop extension automatically re-builds the PDF when the $\TeX$ file changes.

In Codespaces, both the PDF in the VS Code tab (web view) and the PDF in the web browser (proxy + /viewer.html?file=pdf..whatsoever) get updated.
ℹ️ This does not happen with code-server.

[benz0li]

@sylvaticus Do you get any messages in your web console? I get many

[Log] Try to reconnect to LaTeX Workshop: (1/10). (latexworkshop.js, line 471)
[Log] Reconnected: WebSocket to LaTeX Workshop. (latexworkshop.js, line 465)
[Error] WebSocket connection to 'wss://coder.jupyter.b-data.ch/user/benz0li/code-server/proxy/37119/' failed: The operation couldn’t be completed. Socket is not connected
[Log] Closed: WebScocket to LaTeX Workshop. (latexworkshop.js, line 448)

plus

[sylvaticus]

Here they are.. I have a feeling it may be related to some security settings on the PDF viewer iframe.. indeed in Firefox if I manually reaload the frame content I got the PDF updated..

[code-asher]

Interesting, the web socket error seems promising, it would definitely explain why updates fail if the web socket has closed.

[benz0li]

Interesting, the web socket error seems promising, it would definitely explain why updates fail if the web socket has closed.

The logs from the JupyterLab container. I get many

[I 2024-02-10 08:00:55.325 ServerApp] 101 GET /user/benz0li/code-server/proxy/41311/ (benz0li@[redacted]) 2.14ms
[I 2024-02-10 08:00:55.325 ServerApp] Trying to establish websocket connection to ws://localhost:43011/proxy/41311/
[E 2024-02-10 08:00:55.336 ServerApp] Uncaught exception GET /user/benz0li/code-server/proxy/41311/ ([redacted])
    HTTPServerRequest(protocol='http', host='coder.jupyter.b-data.ch', method='GET', uri='/user/benz0li/code-server/proxy/41311/', version='HTTP/1.1', remote_ip='[redacted]')
    Traceback (most recent call last):
      File "/usr/local/lib/python3.11/site-packages/tornado/websocket.py", line 940, in _accept_connection
        await open_result
      File "/usr/local/lib/python3.11/site-packages/jupyter_server_proxy/handlers.py", line 853, in open
        return await super().open(path)
               ^^^^^^^^^^^^^^^^^^^^^^^^
      File "/usr/local/lib/python3.11/site-packages/jupyter_server_proxy/handlers.py", line 678, in open
        return await super().open(self.port, path)
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      File "/usr/local/lib/python3.11/site-packages/jupyter_server_proxy/handlers.py", line 557, in open
        return await self.proxy_open("localhost", port, proxied_path)
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      File "/usr/local/lib/python3.11/site-packages/jupyter_server_proxy/handlers.py", line 505, in proxy_open
        await start_websocket_connection()
      File "/usr/local/lib/python3.11/site-packages/jupyter_server_proxy/handlers.py", line 492, in start_websocket_connection
        self.ws = await pingable_ws_connect(
                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
    tornado.httpclient.HTTPClientError: HTTP 400: Bad Request

Maybe I can adjust something in my setup¹... maybe not.

Footnotes

1. Traefik: TLS termination, proxy no. 1; JupyterHub: proxy no. 2; JupyterLab: proxy no. 3 (Jupyter Server Proxy); code-server: web app (proxy no. 4) ↩

[benz0li]

@sylvaticus In your case, the web server seems to block mjs files. Should you use Nginx as TLS termination proxy, try adding the following to your server block:

types {
    application/javascript mjs;
}

Cross references:

• [Bug]: mjs file extension for browser code is not working in nginx storybookjs/storybook#20157 (comment)
• https://nginx.org/en/docs/http/ngx_http_core_module.html#types

---

Currently, mjs is not part ot Nginx's default MIME types.

docker run --rm -ti nginx bash -c 'cat /etc/nginx/mime.types'

types {
    text/html                                        html htm shtml;
    text/css                                         css;
    text/xml                                         xml;
    image/gif                                        gif;
    image/jpeg                                       jpeg jpg;
    application/javascript                           js;
    application/atom+xml                             atom;
    application/rss+xml                              rss;

    text/mathml                                      mml;
    text/plain                                       txt;
    text/vnd.sun.j2me.app-descriptor                 jad;
    text/vnd.wap.wml                                 wml;
    text/x-component                                 htc;

    image/avif                                       avif;
    image/png                                        png;
    image/svg+xml                                    svg svgz;
    image/tiff                                       tif tiff;
    image/vnd.wap.wbmp                               wbmp;
    image/webp                                       webp;
    image/x-icon                                     ico;
    image/x-jng                                      jng;
    image/x-ms-bmp                                   bmp;

    font/woff                                        woff;
    font/woff2                                       woff2;

    application/java-archive                         jar war ear;
    application/json                                 json;
    application/mac-binhex40                         hqx;
    application/msword                               doc;
    application/pdf                                  pdf;
    application/postscript                           ps eps ai;
    application/rtf                                  rtf;
    application/vnd.apple.mpegurl                    m3u8;
    application/vnd.google-earth.kml+xml             kml;
    application/vnd.google-earth.kmz                 kmz;
    application/vnd.ms-excel                         xls;
    application/vnd.ms-fontobject                    eot;
    application/vnd.ms-powerpoint                    ppt;
    application/vnd.oasis.opendocument.graphics      odg;
    application/vnd.oasis.opendocument.presentation  odp;
    application/vnd.oasis.opendocument.spreadsheet   ods;
    application/vnd.oasis.opendocument.text          odt;
    application/vnd.openxmlformats-officedocument.presentationml.presentation
                                                     pptx;
    application/vnd.openxmlformats-officedocument.spreadsheetml.sheet
                                                     xlsx;
    application/vnd.openxmlformats-officedocument.wordprocessingml.document
                                                     docx;
    application/vnd.wap.wmlc                         wmlc;
    application/wasm                                 wasm;
    application/x-7z-compressed                      7z;
    application/x-cocoa                              cco;
    application/x-java-archive-diff                  jardiff;
    application/x-java-jnlp-file                     jnlp;
    application/x-makeself                           run;
    application/x-perl                               pl pm;
    application/x-pilot                              prc pdb;
    application/x-rar-compressed                     rar;
    application/x-redhat-package-manager             rpm;
    application/x-sea                                sea;
    application/x-shockwave-flash                    swf;
    application/x-stuffit                            sit;
    application/x-tcl                                tcl tk;
    application/x-x509-ca-cert                       der pem crt;
    application/x-xpinstall                          xpi;
    application/xhtml+xml                            xhtml;
    application/xspf+xml                             xspf;
    application/zip                                  zip;

    application/octet-stream                         bin exe dll;
    application/octet-stream                         deb;
    application/octet-stream                         dmg;
    application/octet-stream                         iso img;
    application/octet-stream                         msi msp msm;

    audio/midi                                       mid midi kar;
    audio/mpeg                                       mp3;
    audio/ogg                                        ogg;
    audio/x-m4a                                      m4a;
    audio/x-realaudio                                ra;

    video/3gpp                                       3gpp 3gp;
    video/mp2t                                       ts;
    video/mp4                                        mp4;
    video/mpeg                                       mpeg mpg;
    video/quicktime                                  mov;
    video/webm                                       webm;
    video/x-flv                                      flv;
    video/x-m4v                                      m4v;
    video/x-mng                                      mng;
    video/x-ms-asf                                   asx asf;
    video/x-ms-wmv                                   wmv;
    video/x-msvideo                                  avi;
}

[sylvaticus]

Thank you @benz0li !

I have all my setup based on apache, do you know the equivalent way to set it in apache?

[benz0li]

I have all my setup based on apache, do you know the equivalent way to set it in apache?

See https://httpd.apache.org/docs/2.4/mod/mod_mime.html#addtype

[sylvaticus]

I have added AddType application/javascript mjs to apache configuration and host config, , restarted Apache (no errors), rebbotted the server, but I still have the mime error:

Also I have a read error if I click the debug console:

(don't know if it is related, or if it is related to issue #1828 ..)