blob: a8367f5deab9c392d276f9a8d9b4e3a6d0437a15 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
diff '--color=auto' -r -U3 asymptote-2.92.orig/settings.cc asymptote-2.92/settings.cc
--- asymptote-2.92.orig/settings.cc 2024-10-08 01:22:37.000000000 +0700
+++ asymptote-2.92/settings.cc 2024-11-02 13:48:32.771147121 +0700
@@ -101,14 +101,14 @@
string defaultPDFViewer="open";
string defaultHTMLViewer="open";
#else
-string defaultPSViewer="evince";
-string defaultPDFViewer="evince";
-string defaultHTMLViewer="google-chrome";
+string defaultPSViewer="xdg-open";
+string defaultPDFViewer="xdg-open";
+string defaultHTMLViewer="xdg-open";
#endif
string defaultGhostscript="gs";
string defaultGhostscriptLibrary="";
-string defaultDisplay="display";
-string defaultAnimate="magick";
+string defaultDisplay="xdg-open";
+string defaultAnimate="xdg-open";
void queryRegistry() {}
const string dirsep="/";
|
