Maybe you'll say that it is cruft again, but I'll try:
If the user tries to load a corrupted dvi file then
xdvi opens a window "xdvi error" with a button OK
Replace this button with two others: Cancel and Watch
Watch means to watch the file and to load it if it is
no longer corrupted. Depending on the watchfile
option, Watch could be a regular Reload button.
Logged In: YES
user_id=177175
> Maybe you'll say that it is cruft again
Well, cruft is redundant interface elements that just
clutter the GUI. This one doesn't seem redundant ;-)
> Replace this button with two others: Cancel and Watch
>
> Watch means to watch the file and to load it if it is
> no longer corrupted. Depending on the watchfile
> option, Watch could be a regular Reload button.
this is surprisingly hard to implement, due to xdvi's
excessive use of ugly global data structures. I.e. the file
to watch is just a global file pointer, which happens to be
the currently opened file. The suggested functionality would
mean that the old file is still displayed, but another file
is watched. So we need to clean up the data structures first
before we can implement such a thing. And that is an
error-prone process, as we saw in the past with the bugs
related to Find and `watchfile' ...
Logged In: YES
user_id=177175
It just occurred to me: One bad thing about the current
behaviour is that the file selector closes also in the case
where loading the new file was unsuccessful. Maybe it would
already help if it just remained open in that case (that
should be easy to implement).
Logged In: YES
user_id=810188
That would be an improvement. Of course, you should tell
the user somehow what is happening, ie., why the file
selector stays open.
Logged In: YES
user_id=177175
The easier version (don't close file selector) is now
implemented in
22.77.4-CVS2.