9 def play(self
, widget
, data
=None):
10 print "play %s: %s" % (widget
, data
)
13 self
.screen_choosers
= []
15 self
.window
= gtk
.Window(gtk
.WINDOW_TOPLEVEL
)
16 self
.window
.set_border_width(15)
17 self
.vbox
= gtk
.VBox(False, 3) # vertical box
18 self
.video
= '[nothing]'
21 h
.set_markup('<span size="larger"><b>%s</b> will play in 20 seconds, '
22 'unless you do choose an option below</span>' % self
.video
)
24 self
.vbox
.pack_start(h
)
27 self
.play_now
= gtk
.Button("_Play now")
28 self
.play_now
.connect("clicked", self
.play
, None)
29 self
.vbox
.pack_start(self
.play_now
)
32 self
.vbox
.pack_start(gtk
.HSeparator())
34 self
.radio_choose
= gtk
.RadioButton(None, "Choose another video set")
35 self
.vbox
.pack_start(self
.radio_choose
)
37 vid
= gtk
.FileChooserButton(title
="video")
38 vid
.set_width_chars(40)
39 self
.vbox
.pack_start(vid
)
41 self
.vbox
.pack_start(gtk
.HSeparator())
43 self
.radio_create
= gtk
.RadioButton(self
.radio_choose
, "or construct a new one")
44 self
.vbox
.pack_start(self
.radio_create
)
47 for i
in range(SCREENS
):
48 fc
= gtk
.FileChooserButton(title
="video %s" % i
)
49 self
.screen_choosers
.append(fc
)
54 self
.vbox
.pack_start(fc
)
56 self
.window
.add(self
.vbox
)
57 self
.window
.connect("destroy", self
.destroy
)
58 self
.window
.show_all()
61 def destroy(self
, widget
, data
=None):
65 quit_onclick
= destroy