Feature #760
Mis à jour par Matthieu Decorde il y a plus d'un an
* bouton PLAY -> transformer PLAY en PAUSE pendant la lecture pour pouvoir faire des pauses et transformer PAUSE en PLAY pendant les pauses (ajouter la fonctionnalité PAUSE au lecteur vidéo)
* lecteur vidéo, bouton 'PLAY' et 'STOP' : mettre les icones standard '>' et '[]'
* lecteur vidéo, champ 'File' : n'afficher que le nom du fichier, pas le chemin complet
* lecteur vidéo, volume : remplacer par un slider
* ergonomie : ajouter un menu contextuel au lecteur vidéo : play, stop, option 'repeat', close window, etc.
* Message console : "Playing /home/sheiden/TXM/corpora/p1s8/media/P1S8 4 avril 2014 prTXManonymisev2.mp4 from 2057 to 2064 ..." > "Playing 'P1S8 4 avril 2014 prTXManonymisev2.mp4' from 2057 to 2064." [nom du fichier média et pas le chemin complet]