(self)
| 157 | self.player.set_location(location) |
| 158 | |
| 159 | def create_ui(self): |
| 160 | vbox = gtk.VBox() |
| 161 | self.add(vbox) |
| 162 | |
| 163 | self.videowidget = VideoWidget() |
| 164 | vbox.pack_start(self.videowidget) |
| 165 | |
| 166 | hbox = gtk.HBox() |
| 167 | vbox.pack_start(hbox, fill=False, expand=False) |
| 168 | |
| 169 | self.pause_image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, |
| 170 | gtk.ICON_SIZE_BUTTON) |
| 171 | self.pause_image.show() |
| 172 | self.play_image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY, |
| 173 | gtk.ICON_SIZE_BUTTON) |
| 174 | self.play_image.show() |
| 175 | self.button = button = gtk.Button() |
| 176 | button.add(self.play_image) |
| 177 | button.set_property('can-default', True) |
| 178 | button.set_focus_on_click(False) |
| 179 | button.show() |
| 180 | hbox.pack_start(button, False) |
| 181 | button.set_property('has-default', True) |
| 182 | button.connect('clicked', lambda *args: self.play_toggled()) |
| 183 | |
| 184 | self.adjustment = gtk.Adjustment(0.0, 0.00, 100.0, 0.1, 1.0, 1.0) |
| 185 | hscale = gtk.HScale(self.adjustment) |
| 186 | hscale.set_digits(2) |
| 187 | hscale.set_update_policy(gtk.UPDATE_CONTINUOUS) |
| 188 | hscale.connect('button-press-event', self.scale_button_press_cb) |
| 189 | hscale.connect('button-release-event', self.scale_button_release_cb) |
| 190 | hscale.connect('format-value', self.scale_format_value_cb) |
| 191 | hbox.pack_start(hscale) |
| 192 | self.hscale = hscale |
| 193 | |
| 194 | self.videowidget.connect_after('realize', |
| 195 | lambda *x: self.play_toggled()) |
| 196 | |
| 197 | def play_toggled(self): |
| 198 | self.button.remove(self.button.child) |
no test coverage detected