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.bbox = self.wTree.get_widget('video_buttons')
  19         self.status = self.wTree.get_widget('video_status')
  20         self.drawingarea = self.wTree.get_widget('video')
  21
  22         super(videoplayer, self).__init__()
  23
  24         self.sink = gst.element_factory_make('xvimagesink')
  25         self.sink.set_property('force-aspect-ratio', True)
  26         self.playbin.set_property('video-sink', self.sink)
  27
  28         audiosink = gst.element_factory_make('fakesink')
  29         self.playbin.set_property('audio-sink', audiosink)
  30
  31         self.drawingarea.connect('realize', self.on_video_realized)
  32
  33
  34     def on_video_realized(self, sender):
  35         self.sink.set_xwindow_id(self.drawingarea.window.xid)
  36
  37