[41_1] Remove usage of unknown.ps

XmacsLabs · Dec 18, 2023 · 4626543 · 4626543
1 parent bf0744a
commit 4626543
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/TeXmacs/misc/pixmaps/unknown.ps b/TeXmacs/misc/pixmaps/unknown.ps
diff --git a/src/Plugins/Pdf/pdf_image.cpp b/src/Plugins/Pdf/pdf_image.cpp
@@ -199,7 +199,7 @@ pdf_image_rep::flush_png (PDFWriter& pdfw, url image) {
 void
 pdf_image_rep::flush (PDFWriter& pdfw) {
   url name= resolve (u);
-  if (is_none (name)) name= "$TEXMACS_PATH/misc/pixmaps/unknown.ps";
+  if (is_none (name)) name= "$TEXMACS_PATH/misc/pixmaps/unknown.png";
 
   url    temp;
   string s= suffix (name);