1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62 | import gst, gtk, gobject
class PlaybackInterface:
PLAY_IMAGE = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY, gtk.ICON_SIZE_BUTTON)
PAUSE_IMAGE = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, gtk.ICON_SIZE_BUTTON)
def __init__(self):
self.main_window = gtk.Window()
self.video_area = gtk.DrawingArea()
self.play_button = gtk.Button()
self.info_label = gtk.Label("Not playing")
self.slider = gtk.HScale()
self.button_box = gtk.HBox()
self.button_box.pack_start(self.play_button, False)
self.button_box.pack_start(self.info_label, True, True)
self.main_vbox = gtk.VBox(spacing=6)
self.main_vbox.pack_start(self.video_area, True, True)
self.main_vbox.pack_start(self.slider, False)
self.main_vbox.pack_start(self.button_box, False)
self.main_window.add(self.main_vbox)
self.main_window.connect('destroy', self.on_destroy)
self.play_button.set_image(self.PLAY_IMAGE)
self.play_button.connect('clicked', self.on_play)
self.slider.set_range(0, 100)
self.slider.set_increments(1, 10)
self.slider.connect('value-changed', self.on_slider_change)
self.main_window.set_border_width(6)
self.main_window.set_size_request(600, 400)
self.is_playing = False
self.main_window.show_all()
def on_destroy(self, window):
self.is_playing = False
gtk.main_quit()
def on_play(self, button):
if not self.is_playing:
self.play_button.set_image(self.PAUSE_IMAGE)
self.info_label.set_label("Playing")
self.is_playing = True
print "FIXME: play pipeline"
else:
self.play_button.set_image(self.PLAY_IMAGE)
self.info_label.set_label("Paused")
self.is_playing = False
print "FIXME: pause pipeline"
def on_slider_change(self, slider):
print "FIXME: seek to", slider.get_value()
if __name__ == "__main__":
PlaybackInterface()
gtk.main()
|