Uses of Interface
org.corpus_tools.annis.gui.media.MediaPlayer

Packages that use MediaPlayer

Package	Description
org.corpus_tools.annis.gui.components.medialement
org.corpus_tools.annis.gui.media

Uses of MediaPlayer in org.corpus_tools.annis.gui.components.medialement

Classes in org.corpus_tools.annis.gui.components.medialement that implement MediaPlayer

Modifier and Type	Class and Description
class	MediaElementPlayer An video/audio player based on the medialement.js library (http://mediaelementjs.com/)

Uses of MediaPlayer in org.corpus_tools.annis.gui.media

Methods in org.corpus_tools.annis.gui.media with parameters of type MediaPlayer

Modifier and Type	Method and Description
void	MediaController.addMediaPlayer(MediaPlayer player, String resultID, VisualizationToggle toggle) Register a MediaPlayer instance.
void	MediaControllerImpl.addMediaPlayer(MediaPlayer player, String resultID, VisualizationToggle toggle)
void	MediaController.closeOtherPlayers(MediaPlayer doNotCloseThisOne)
void	MediaControllerImpl.closeOtherPlayers(MediaPlayer doNotCloseThisOne)

Constructors in org.corpus_tools.annis.gui.media with parameters of type MediaPlayer

Constructor and Description
CallbackImpl(MediaPlayer player, Double startTime, Double endTime)