src/videoplayer.py

   1 import os
   2 import gst, gtk, gobject
   3 import sys
   4 import pygtk
   5 import gtk
   6 import gtk.glade
   7 from mediaplayer import mediaplayer
   8
   9 class videoplayer(mediaplayer):
  10
  11     def __init__( self, parent ):
  12         self.parent = parent
  13         self.wTree = parent.wTree
  14
  15         self.spinner = self.wTree.get_widget('video_spin')
  16         self.seeker = self.wTree.get_widget('video_seeker')
  17         self.label = self.wTree.get_widget('video_label')
  18         self.drawingarea = self.wTree.get_widget('video')
  19
  20         super(videoplayer, self).__init__()
  21
  22         self.sink = gst.element_factory_make('xvimagesink')
  23         self.sink.set_property('force-aspect-ratio', True)
  24         self.playbin.set_property('video-sink', self.sink)
  25
  26         audiosink = gst.element_factory_make('fakesink')
  27         self.playbin.set_property('audio-sink', audiosink)
  28
  29         self.drawingarea.connect('realize', self.on_video_realized)
  30
  31
  32     def on_video_realized(self, sender):
  33         self.sink.set_xwindow_id(self.drawingarea.window.xid)
  34
  35