From 8b2504c3d66bd867de2143d4223852918f425945 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Mon, 11 Dec 2006 16:50:01 +0000 Subject: [PATCH] Xdefaults: Make xdvi watch its input file. Much more useful now. --- Xdefaults | 1 + 1 file changed, 1 insertion(+) diff --git a/Xdefaults b/Xdefaults index ab6666a..41a209e 100644 --- a/Xdefaults +++ b/Xdefaults @@ -130,6 +130,7 @@ XDvi.Hush: true XDvi.thorough: true XDvi.gsAlpha: true XDvi.not1lib: true +XDvi.watchFile: 1 xdvirv.background: black xdvirv.foreground: white -- 2.11.0