]>
Commit | Line | Data |
---|---|---|
768e5264 AM |
1 | --- tetex-src-3.0/texk/xdvik/browser.c.browser 2004-11-12 10:25:26.000000000 +0900 |
2 | +++ tetex-src-3.0/texk/xdvik/browser.c 2005-02-07 15:22:31.849488410 +0900 | |
3 | @@ -39,7 +39,10 @@ | |
4 | #include "statusline.h" | |
5 | ||
6 | static const char *const default_browser_cmd = | |
7 | - "netscape -raise -remote \"openURL(%s,new-window)\"" | |
8 | + "xdg-open %s" | |
9 | + ":firefox -remote \"openURL(%s,new-window)\"" | |
10 | + ":mozilla -remote \"openURL(%s,new-window)\"" | |
11 | + ":xterm -e w3m %s" | |
12 | ":xterm -e lynx %s" | |
13 | ":xterm -e wget %s"; | |
14 | ||
15 | --- tetex-src-3.0/texk/xdvik/gui/xm_prefsP.h.browser 2004-04-22 06:12:09.000000000 +0900 | |
16 | +++ tetex-src-3.0/texk/xdvik/gui/xm_prefsP.h 2005-02-07 15:22:31.850488229 +0900 | |
17 | @@ -96,8 +96,10 @@ | |
18 | #define Xdvi_APPLY_STR "Apply" | |
19 | ||
20 | #define Xdvi_PREFS_BROWSER_DEFAULTS \ | |
21 | + "xdg-open %s\n" \ | |
22 | + "firefox -remote 'openURL(%s,new-window)'\n" \ | |
23 | "mozilla -remote 'openURL(%s,new-window)'\n" \ | |
24 | - "netscape -raise -remote 'openURL(%s,new-window)'\n" \ | |
25 | + "xterm -e w3m %s\n" \ | |
26 | "xterm -e lynx %s\n" \ | |
27 | Xdvi_ADD_COMMAND_STR | |
28 | #define Xdvi_PREFS_EDITOR_DEFAULTS \ | |
29 | --- tetex-src-3.0/texk/xdvik/xdvi.1.in.browser 2005-01-21 01:51:45.000000000 +0900 | |
30 | +++ tetex-src-3.0/texk/xdvik/xdvi.1.in 2005-02-07 15:22:31.854487501 +0900 | |
31 | @@ -365,7 +365,7 @@ | |
32 | .B WWWBROWSER | |
33 | (in that order) are used to determine the browser command. If these are | |
34 | not set either, the following default value is used: | |
35 | -.SB netscape -raise -remote "openURL(%s,new-window)":xterm -e lynx %s:xterm -e wget %s | |
36 | +.SB xdg-open %s:firefox -remote -remote "openURL(%s,new-window)":mozilla -remote "openURL(%s,new-window)":xterm -e w3m %s:xterm -e lynx %s:xterm -e wget %s | |
37 | .\""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" | |
38 | .TP | |
39 | .BI \-bw " width" |