Menu

#38 do not delete page if file no longer available

closed
None
5
2003-06-28
2003-06-26
No

Currently, xdvi deletes the page and beeps if the dvi
file it shows disapeared and user clicked it. That can
be annoying if the file disapeared just momentarily, eg
during a run of latex.

It would be better if xdvi would give a warning instead
of deleting the page.

Discussion

  • Stefan Ulrich

    Stefan Ulrich - 2003-06-26
    • assigned_to: nobody --> stefanulrich
     
  • Stefan Ulrich

    Stefan Ulrich - 2003-06-26

    Logged In: YES
    user_id=177175

    This is a duplicate of
    http://sourceforge.net/tracker/index.php?func=detail&aid=759865&group_id=23164&atid=377583
    which has been resolved in the current CVS HEAD (note that
    closed
    feature requests will only appear if you select
    `Status'->`Closed' in the query page). I'm leaving this open
    for reference, until 22.76 is ready for release (maybe in a
    few days ...)

     
  • Stefan Ulrich

    Stefan Ulrich - 2003-06-28
    • status: open --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB