chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c8f84ab
)
Xdefaults: Make xdvi watch its input file.
author
Mark Wooding
<mdw@ncipher.com>
Mon, 11 Dec 2006 16:50:01 +0000
(16:50 +0000)
committer
Mark Wooding
<mdw@ncipher.com>
Mon, 11 Dec 2006 16:50:01 +0000
(16:50 +0000)
Much more useful now.
Xdefaults
patch
|
blob
|
blame
|
history
diff --git
a/Xdefaults
b/Xdefaults
index ab6666a9325f5ce217a131a1255fa422f75fe3de..41a209e1daae5b45397c73326e70dc05604dfd63 100644
(file)
--- a/
Xdefaults
+++ b/
Xdefaults
@@
-130,6
+130,7
@@
XDvi.Hush: true
XDvi.thorough: true
XDvi.gsAlpha: true
XDvi.not1lib: true
XDvi.thorough: true
XDvi.gsAlpha: true
XDvi.not1lib: true
+XDvi.watchFile: 1
xdvirv.background: black
xdvirv.foreground: white
xdvirv.background: black
xdvirv.foreground: white