Skip to content

Instantly share code, notes, and snippets.

@dlukes

dlukes/elan.diff

Created April 8, 2019 15:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dlukes/1c327cd2f7eae77303fa2c02c64f8a23 to your computer and use it in GitHub Desktop.
Save dlukes/1c327cd2f7eae77303fa2c02c64f8a23 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
elan.diff
diff -ru a/src/main/java/mpi/eudico/client/annotator/player/VLCJMediaPlayer.java b/src/main/java/mpi/eudico/client/annotator/player/VLCJMediaPlayer.java
--- a/src/main/java/mpi/eudico/client/annotator/player/VLCJMediaPlayer.java 2016-01-14 16:44:42.000000000 +0100
+++ b/src/main/java/mpi/eudico/client/annotator/player/VLCJMediaPlayer.java 2019-04-08 16:39:56.894874290 +0200
@@ -597,6 +597,7 @@
public void setOffset(long offset) {
logger.log(Level.FINE, "set offset {0}", offset);
this.timeOffset = offset;
+ mediaDescriptor.timeOrigin = offset;
}
/**
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment