Re: View dvi/Update dvi commands does not update files

1999-05-06 Thread Lars Gullik Bjønnes

Salvador Olmos [EMAIL PROTECTED] writes:

| the new changes have not been updated in the dvi file.
| Is it a bug of the new version?
| In the last versions 1.0.0 and 1.0.1 this option was OK.

I am trying to track the cause for this down, but it is not easy as I
can not reproduce it. When I find the cause of this I will most likely
release a new version. Until then I could need some prying eyes...

Lgb



Re: View dvi/Update dvi commands does not update files

1999-05-06 Thread Lars Gullik Bjønnes

Salvador Olmos <[EMAIL PROTECTED]> writes:

| the new changes have not been updated in the dvi file.
| Is it a bug of the new version?
| In the last versions 1.0.0 and 1.0.1 this option was OK.

I am trying to track the cause for this down, but it is not easy as I
can not reproduce it. When I find the cause of this I will most likely
release a new version. Until then I could need some prying eyes...

Lgb