2007-08-15 05:36:22 -07:00
|
|
|
import clutter
|
2007-08-15 07:23:45 -07:00
|
|
|
from clutter import cluttergst
|
2007-08-30 06:48:01 -07:00
|
|
|
from VideoController import VideoController
|
2007-08-15 05:36:22 -07:00
|
|
|
|
2007-08-15 07:23:45 -07:00
|
|
|
class DvdPlayer:
|
2007-08-15 05:36:22 -07:00
|
|
|
|
2007-08-15 07:23:45 -07:00
|
|
|
def __init__(self, Stage):
|
|
|
|
self.stage = Stage
|
|
|
|
self.paused = False
|
2007-08-30 04:41:12 -07:00
|
|
|
self.isPlaying = False
|
2007-08-15 07:23:45 -07:00
|
|
|
self.overlay = None
|
|
|
|
|
2007-08-30 06:48:01 -07:00
|
|
|
|
2007-08-15 07:23:45 -07:00
|
|
|
|
|
|
|
def on_key_press_event (self, stage, event):
|
2007-08-30 04:41:12 -07:00
|
|
|
if self.isPlaying:
|
2007-08-30 06:48:01 -07:00
|
|
|
self.videoController.on_key_press_event(event)
|
2007-08-30 04:41:12 -07:00
|
|
|
|
2007-08-15 07:23:45 -07:00
|
|
|
if event.keyval == clutter.keysyms.p:
|
|
|
|
if self.paused:
|
|
|
|
self.unpause()
|
|
|
|
else:
|
|
|
|
self.pause()
|
|
|
|
if event.keyval == clutter.keysyms.q:
|
|
|
|
clutter.main_quit()
|
2007-08-26 06:15:05 -07:00
|
|
|
|
2007-08-15 07:23:45 -07:00
|
|
|
|
|
|
|
def begin(self, MenuMgr):
|
2007-08-30 06:48:01 -07:00
|
|
|
uri = "dvd://1"
|
|
|
|
self.videoController = VideoController(self.stage)
|
|
|
|
self.video = self.videoController.play_video(uri)
|
2007-08-30 04:41:12 -07:00
|
|
|
self.isPlaying = True
|
2007-08-15 07:23:45 -07:00
|
|
|
|
|
|
|
def stop(self):
|
2007-08-26 06:15:05 -07:00
|
|
|
if self.video.get_playing():
|
2007-08-30 06:48:01 -07:00
|
|
|
self.videoController.stop_video()
|
2007-08-26 06:15:05 -07:00
|
|
|
|
|
|
|
timeline = clutter.Timeline(15, 25)
|
|
|
|
timeline.connect('completed', self.end_video_event)
|
|
|
|
alpha = clutter.Alpha(timeline, clutter.ramp_inc_func)
|
|
|
|
behaviour = clutter.BehaviourOpacity(alpha, 255,0)
|
|
|
|
behaviour.apply(self.video)
|
|
|
|
|
|
|
|
timeline.start()
|
|
|
|
def end_video_event(self, data):
|
|
|
|
self.stage.remove(self.video)
|
2007-08-15 07:23:45 -07:00
|
|
|
|
|
|
|
def pause(self):
|
|
|
|
self.paused = True
|
2007-09-02 06:35:44 -07:00
|
|
|
self.videoController.pause_video()
|
2007-08-15 07:23:45 -07:00
|
|
|
|
|
|
|
|
|
|
|
def unpause(self):
|
|
|
|
self.paused = False
|
2007-09-02 06:35:44 -07:00
|
|
|
self.videoController.unpause_video()
|
|
|
|
|