By Anders Holst:

By Anders Holst:

* I have checked the effect on DM800 of the margin before GOP:s,
  introduced by the "timing bugs" patch and needed for DM7025. As was
  previously noted, the margins are not needed on DM800. Fortunately
  it turns out also not to have any significant adverse effects: When
  jumping back or forward I expected some flickering, but there are
  none at all! There is only one small effect as far as I have found:
  When a cut list is used, there are somewhat more flickering at the
  cut points than without the margins. Since there are flickering
  also without the margins, this may be considered a less serious
  effect.
  If you consider this effect serious enough though, or think that it
  is cleaner to separate the code for DM7025 and DM800 since the
  margin is needed for one but not the other, then I can try to
  produce such a patch. Otherwise I suggest to wait with this.

* In the original timing bugs patch there were a fix to stop playback
  after the last OUT cut. It did this by setting the size of the next
  source span to 0. But this turned out not to be a good idea: It
  seems that playback stops immediately when the next size is set to
  zero, and not when the buffer is used up. Therefore playback may
  stop some seconds before the actual end. If instead a jump is made
  to the last position in the file and a non-zero size is used there,
  then for some reason it plays up the whole buffer. Don't ask me why
  it is like this. A modification to this effect is anyway included
  below.

* Rewind did not work at all for HD movies on DM800. The picture just
  freezes. It is because HD movies have another sequence at beginning
  of frames than normal movies. There is a rather simple fix, looking
  for both HD and normal sequences, in the trickmode playback code.
  (If the HD movie sequence condition seems complicated, it is
  because it has to make sure not to be accidentally triggered by
  normal movies.)