[RP] Xdvi bug

[Joe Corneli]

Xdvi windows can be killed with 

  <escape> :kill 

but not with 

  <escape> k

for some unknown reason (in Oct 7 CVS).

Joe