added DVI_VIEWER for 600dpi fonts;
authorwenzelm
Mon Dec 09 16:51:14 1996 +0100 (1996-12-09)
changeset 2352562cb286138e
parent 2351 873ffd6f70c3
child 2353 7405e3cac88a
added DVI_VIEWER for 600dpi fonts;
etc/settings
     1.1 --- a/etc/settings	Mon Dec 09 16:48:30 1996 +0100
     1.2 +++ b/etc/settings	Mon Dec 09 16:51:14 1996 +0100
     1.3 @@ -65,4 +65,5 @@
     1.4  
     1.5  ## misc
     1.6  
     1.7 -DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
     1.8 +#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
     1.9 +DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"