Fix #4092 PDF reload at file change

James-Yu · Dec 13, 2023 · 7457501 · 7457501
1 parent 7980d3b
commit 7457501
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/preview/viewer.ts b/src/preview/viewer.ts
@@ -30,7 +30,7 @@ export { serializer } from './viewer/pdfviewerpanel'
 export { hook } from './viewer/pdfviewerhook'
 
 lw.watcher.pdf.onChange(pdfPath => {
-    if (lw.compile.compiling && path.relative(lw.compile.compiledPDFPath, pdfPath) !== '') {
+    if (!lw.compile.compiling || path.relative(lw.compile.compiledPDFPath, pdfPath) !== '') {
         refresh(pdfPath)
     }
 })