$dvi_previewer = 'xdvi -watchfile 1.5';
$ps_previewer  = 'zathura';
$pdf_previewer = 'zathura';