On 10/31/05, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
>     Hey guys, how are you?
>     Well, I cannot view the newest dvi file when I
> type ctrl+d. It just launch the old one. I need always
> to manually delete the dvi file, and then press the
> ctrl+d again to really view the dvi file with the last
> modifications.
>     I tried to use the update menu, but it still at
> the same track.
>     How can I solve it? It is so boring to erase the
> dvi so many times...

Douglas: use shift+ctrl+d instead.

Paul

Reply via email to